Sign in

Fast Set Bounds Propagation Using a BDD-SAT Hybrid.

Graeme GangePeter J. StuckeyVitaly 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