Reusing CSP Propagators for QCSPs

DOI10.1007/978-3-540-73817-6_4MaRDI QIDQ3608445zbMATH OpenOpenAlexFDO

Authors Marco H. Benedetti, Arnaud Lallouet, Jérémie Vautard

Publication date 5 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73817-6_4

zbMATH Keywords

QCSPquantified languages

Mathematics Subject Classification ID

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

Recommendations

• Generalizing consistency and other constraint properties to quantified constraints
• Solving quantified constraint satisfaction problems
• BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
• Principles and Practice of Constraint Programming – CP 2004
• Repair-Based Methods for Quantified CSPs

Cited in

(9)

• Value ordering for quantified CSPs
• Non-binary quantified CSP: Algorithms and modelling
• Solving quantified constraint satisfaction problems
• Generalizing consistency and other constraint properties to quantified constraints
• Solution Directed Backjumping for QCSP
• Repair-Based Methods for Quantified CSPs
• BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
• Quantified constraint handling rules
• Principles and Practice of Constraint Programming – CP 2004

Describes a project that uses

Uses Software

• Gecode

This page was built for publication: Reusing CSP Propagators for QCSPs

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