Fast Set Bounds Propagation Using a BDD-SAT Hybrid

Graeme Gange, Peter James Stuckey, Vitaly Lagoon

Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques in- cur the s…