Fast Set Bounds Propagation Using a BDD-SAT Hybrid.

Graeme Gange Peter J. Stuckey Vitaly Lagoon

Published in: J. Artif. Intell. Res. (2010)

Keyphrases

set bounds propagation
pseudo boolean constraints
sat solvers
boolean functions
model checking
sat encodings
search strategies
stochastic local search