1. E. Balas and J. B. Mazzola. Nonlinear 0–1 programming: I. Linearization techniques. Mathematical Programming, 30:1–21, 1984.
2. P. Barth. A complete symbolic 0–1 constraint solver. In ACCLAIM Kick-Off Workshop, Stockholm, November 1992.
3. P. Barth and A. Bockmayr. Solving 0–1 problems in CLP(PB). In Proc. 9th Conf. Artificial Intelligence for Applications (CAIA), Orlando. IEEE, 1993.
4. A. Bockmayr. Logic programming with pseudo-Boolean constraints. In A. Colmerauer and F. Benhamou, editors, Constraint Logic Programming — Selected Research. MIT Press, 1992. (to appear).
5. H. Crowder, E.L. Johnson, and M. Padberg. Solving large-scale zero-one linear programming problems. Operations Research, 31(5):803–834, September 1983.