Compiling constraint networks into AND/OR multi-valued decision diagrams (AOMDDs) (2006)

by Robert Mateescu , Rina Dechter
Venue:IN PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP’06
Citations:20 - 6 self