Pseudo-Boolean Programming.

Peter L. Hammer Sergiu Rudeanu

Published in: Oper. Res. (1969)

Keyphrases

pseudo boolean
pseudo boolean constraints
integer linear programming
programming language
combinatorial problems
propositional satisfiability
symmetry breaking
search space
special case
ant colony optimization
constraint programming
integer programming
propositional logic
boolean optimization