
Solving Difficult CSPs with Relational Neighborhood Inverse Consistency
Author(s) -
Robert J. Woodward,
Shant Karakashian,
Berthe Y. Choueiry,
Christian Bessière
Publication year - 2011
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v25i1.7825
Subject(s) - computer science , local consistency , inverse , consistency (knowledge bases) , theoretical computer science , binary number , property (philosophy) , benchmark (surveying) , consistency model , dual (grammatical number) , algorithm , mathematical optimization , graph , constraint satisfaction problem , mathematics , artificial intelligence , art , philosophy , geometry , arithmetic , geodesy , epistemology , literature , probabilistic logic , correctness , geography