Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees | Zendy

Ruiwei Wang | Zendy; Roland H. C. Yap | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Encoding 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research