Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees.

Ruiwei Wang, Roland H. C. Yap

Browse the full AAAI paper archive.