BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
From MaRDI portal
Publication:3524264
DOI10.1007/11889205_45zbMath1160.68570MaRDI QIDQ3524264
Guillaume Verger, Christian Bessiere
Publication date: 9 September 2008
Published in: Principles and Practice of Constraint Programming - CP 2006 (Search for Journal in Brave)
Full work available at URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00135534/file/cp06-qcsp.pdf
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Unnamed Item, Constraint programming approach to a bilevel scheduling problem, Value ordering for quantified CSPs, Non-binary quantified CSP: Algorithms and modelling, Solving quantified constraint satisfaction problems, Solution Directed Backjumping for QCSP