Constraint Satisfaction Techniques for Combinatorial Problems
DOI:
https://doi.org/10.1609/aaai.v32i1.11361Keywords:
CSP, SAT, AllSATAbstract
The last two decades have seen extraordinary advances in industrial applications of constraint satisfaction techniques, while combinatorial problems have been pushed to the sidelines. We propose a comprehensive analysis of the state of the art in constraint satisfaction problems when applied to combinatorial problems in areas such as graph theory, set theory, algebra, among others. We believe such a study will provide us with a deeper understanding about the limitations we still face in constraint satisfaction problems.
Downloads
Published
2018-04-29
How to Cite
Narváez, D. (2018). Constraint Satisfaction Techniques for Combinatorial Problems. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). https://doi.org/10.1609/aaai.v32i1.11361
Issue
Section
Doctoral Consortium