Consistency for Quantified Constraint Satisfaction Problems

DOI10.1007/11564751_66zbMath1153.68471OpenAlexW1540285992MaRDI QIDQ3524224

Peter W. Nightingale

Publication date: 9 September 2008

Published in: Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11564751_66

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Value ordering for quantified CSPs ⋮ Non-binary quantified CSP: Algorithms and modelling

Uses Software

• Chaff
• MINION

This page was built for publication: Consistency for Quantified Constraint Satisfaction Problems