The First Evaluation of Pseudo-Boolean Solvers (PB'05).

Vasco M. Manquinho Olivier Roussel

Published in: J. Satisf. Boolean Model. Comput. (2006)

Keyphrases

pseudo boolean
integer linear programming
combinatorial problems
symmetry breaking
pseudo boolean constraints
exact solution
propositional satisfiability