JOURNAL ARTICLE
Solving quantified constraint satisfaction problems
Ian P. GentPeter NightingaleAndrew RowleyKostas Stergiou
Year: 2007 Journal: Artificial Intelligence Vol: 172 (6-7)Pages: 738-771 Publisher: Elsevier BV
Keywords:
Constraint satisfaction problem Constraint (computer-aided design) Solver Identification (biology) Constraint satisfaction Simple (philosophy) ENCODE Computer science Encoding (memory) Mathematical optimization Algorithm Theoretical computer science Mathematics Artificial intelligence
Metrics
27
Cited By
2.25
FWCI (Field Weighted Citation Impact)
52
Refs
0.88
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Constraint Satisfaction and Optimization
Physical Sciences → Computer Science → Computer Networks and Communications
Data Management and Algorithms
Physical Sciences → Computer Science → Signal Processing
Advanced Database Systems and Queries
Physical Sciences → Computer Science → Computer Networks and Communications
Related Documents
JOURNAL ARTICLE
Solving quantified constraint satisfaction problems with value selection rules
Jian GaoJinyan WangKuixian WuRong Chen
Journal: Frontiers of Computer Science Year: 2020 Vol: 14 (5)
JOURNAL ARTICLE
Searching Feasible Design Space by Solving Quantified Constraint Satisfaction Problems
Jie HuMasoumeh AminzadehYan Wang
Journal: Journal of Mechanical Design Year: 2013 Vol: 136 (3)
BOOK-CHAPTER
Algorithms for Quantified Constraint Satisfaction Problems
Lecture notes in computer science Year: 2004 Pages: 752-756
BOOK-CHAPTER
Consistency for Quantified Constraint Satisfaction Problems
Lecture notes in computer science Year: 2005 Pages: 792-796
JOURNAL ARTICLE
Solving constraint satisfaction problems
Journal: Knowledge-Based Systems Year: 1989 Vol: 2 (4)Pages: 261-261