An Improved Algorithm for Pseudo-Boolean Programming.

Stanislaw Walukiewicz Leon Slominski Marian Faner

Published in: Optimization Techniques (1973)

Keyphrases

pseudo boolean
integer linear programming
pseudo boolean constraints
combinatorial problems
programming language
symmetry breaking
boolean optimization
exact solution
constraint satisfaction problems
propositional satisfiability