Adding FC/DVO to EBL/DDB

Adding DVO to EBL/DDB is straightforward

Adding FC is tricky--

Conflict sets must contain the variables whose values

lead to FC pruning

FC/DVO can give a upto a further 2x speedup over EBL

Previous slide

Next slide

Back to first slide

View graphic version