Fast Set Bounds Propagation Using a BDD-SAT Hybrid.

Graeme Gange Peter James Stuckey Vitaly Lagoon

Published in: CoRR (2014)

Keyphrases

set bounds propagation
pseudo boolean constraints
search algorithm
satisfiability problem
sat solvers
boolean formula
special case
boolean functions
sat encodings
genetic algorithm
evolutionary algorithm
phase transition
sat problem