Recent Advances in Constraints

DOI10.1007/11754602MaRDI QIDQ5899113zbMATH OpenOpenAlexFDO

Authors Christian Schulte, Guido Tack

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

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

Recommendations

• View-based propagator derivation
• View-based propagation of decomposable constraints
• Global domain views for expressive and cross-domain constraint programming
• Logic Programming
• Generic Views on Data Types

Cited in

(8)

• Global domain views for expressive and cross-domain constraint programming
• Coupling different integer encodings for SAT
• MiniCP: a lightweight solver for constraint programming
• Propagation via lazy clause generation
• View-based propagator derivation
• View-based propagation of decomposable constraints
• Generalised arc consistency for the AllDifferent constraint: an empirical survey
• \textit{clingcon}: the next generation

Describes a project that uses

Uses Software

• Choco

This page was built for publication: Recent Advances in Constraints

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