Repair-Based Methods for Quantified CSPs

DOI10.1007/11564751_48MaRDI QIDQ3524210zbMATH OpenOpenAlexFDO

Authors Kostas Stergiou

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_48

Mathematics Subject Classification ID

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

Recommendations

• Solving quantified constraint satisfaction problems
• Reusing CSP Propagators for QCSPs
• BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
• Non-binary quantified CSP: Algorithms and modelling
• Solution Directed Backjumping for QCSP

Cited in

(4)

• Non-binary quantified CSP: Algorithms and modelling
• Solution Directed Backjumping for QCSP
• BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
• Reusing CSP Propagators for QCSPs

This page was built for publication: Repair-Based Methods for Quantified CSPs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3524210)