Reusing CSP Propagators for QCSPs

DOI10.1007/978-3-540-73817-6_4zbMath1176.68195OpenAlexW1514599026MaRDI QIDQ3608445

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

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)

Related Items (3)

Solving quantified constraint satisfaction problems ⋮ Solution Directed Backjumping for QCSP ⋮ Value ordering for quantified CSPs

Uses Software

• Gecode

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