Book reviews

Bockmayr A (1991) Logic programming with pseudo-boolean constraints. Technical Report MPI-1-91-227, MPI, Saarbrücken Bockmayr A (1992) Embedding or techniques in constraint programming. In: Operations Research '92, 17th Symposium on Operations Research, Hamburg, Germany Hooker JN (1992) Generalized resolution 0–1 linear inequalities. Ann Math Artificial Intell 6:271–286 Jaffar J, Maher MJ (1994) Constraint logic programming: a survey. J Logic Program 19/20:503–581