A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration.

Tarik Hadzic Henrik Reif Andersen A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#HadzicA06