Your search returned the following 3 documents:

3. 0-1 Constraints and 0-1 Optimization
   Alexander Bockmayr
   In: 3rd Workshop on Constraint Logic Programming (WCLP '93), Marseille, France, 1993
   
2. A Complete Symbolic 0-1 Constraint Solver
   Peter Barth
   In: 3rd Workshop on Constraint Logic Programming (WCLP '93), Marseille, France, 1993, 1993
   
1. Logic Programming with Pseudo-Boolean Constraints
   Alexander Bockmayr
   In: Constraint Logic Programming---Selected Research, 1993, 327-350. Note: Also available as Research Report MPI-I-91-227