Cost-Bounded Binary Decision Diagrams for 0-1 Programming.

Tarik Hadzic John N. Hooker Cost-Bounded Binary Decision Diagrams for 0-1 Programming. 84-98 2007 conf/cpaior/2007 CPAIOR http://dx.doi.org/10.1007/978-3-540-72397-4_7 db/conf/cpaior/cpaior2007.html#HadzicH07