Solving Pseudo-Boolean Constraints (1995)

by A BOCKMAYR
Venue:in Constraint Programming: Basics and Trends