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

Nikos MamoulisKostas Stergiou

Lecture notes in computer science Year: 2004 Pages: 752-756
BOOK-CHAPTER

Consistency for Quantified Constraint Satisfaction Problems

Peter Nightingale

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
© 2026 ScienceGate Book Chapters — All rights reserved.