Recent Advances in Constraints

DOI10.1007/11754602zbMath1180.68103OpenAlexW4299689167MaRDI QIDQ5899113

Guido Tack, Christian Schulte

Publication date: 2 May 2007

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

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

Mathematics Subject Classification ID

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

Related Items (7)

Global domain views for expressive and cross-domain constraint programming ⋮ Generalised arc consistency for the AllDifferent constraint: an empirical survey ⋮ Coupling different integer encodings for SAT ⋮ Clingcon: The next generation ⋮ MiniCP: a lightweight solver for constraint programming ⋮ Propagation via lazy clause generation ⋮ View-based propagation of decomposable constraints

Uses Software

• Choco

This page was built for publication: Recent Advances in Constraints