Solving Pseudo-Boolean Constraints

Alexander Bockmayr

Published in: Constraint Programming (1994)

Keyphrases

pseudo boolean constraints
pseudo boolean
integer linear programming
combinatorial problems
logic programming
discrete optimization problems
traveling salesman problem
combinatorial optimization
sat encodings
artificial intelligence