Characterizing Propagation Methods for Boolean Satisfiability.

Eric I. Hsu Sheila A. McIlraith

Published in: SAT (2006)

Keyphrases

integer linear programming
special case
genetic algorithm