Open AccessIntegrating Constraint Satisfaction and Spatial Reasoning
Author(s) -
Unmesh Kurup,
Nicholas L. Cassimatis
Publication year - 2010
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.v24i1.7574
Subject(s) - backtracking , constraint satisfaction , spatial intelligence , constraint satisfaction problem , constraint learning , computer science , dpll algorithm , probabilistic logic , local consistency , variety (cybernetics) , theoretical computer science , inference , constraint (computer aided design) , satisfiability , representation (politics) , boolean satisfiability problem , artificial intelligence , mathematical optimization , mathematics , algorithm , telecommunications , geometry , phase locked loop , jitter , politics , political science , law