Open AccessEncoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees
Author(s) -
Ruiwei Wang,
Roland H. C. Yap
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i4.20300
Subject(s) - constraint (computer aided design) , binary constraint , local consistency , hybrid algorithm (constraint satisfaction) , constraint satisfaction , binary decision diagram , representation (politics) , constraint programming , constraint logic programming , computer science , set (abstract data type) , influence diagram , algorithm , binary number , theoretical computer science , binary tree , mathematics , mathematical optimization , decision tree , artificial intelligence , arithmetic , geometry , politics , probabilistic logic , political science , stochastic programming , law , programming language