Approximate Compilation of Constraints into Multivalued Decision Diagrams.

Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann

Browse the full CP paper archive.