Recent Advances in Constraints
From MaRDI portal
Publication:5899113
DOI10.1007/11754602zbMath1180.68103MaRDI QIDQ5899113
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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Related Items
Clingcon: The next generation, 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 propagation of decomposable constraints, Generalised arc consistency for the AllDifferent constraint: an empirical survey
Uses Software