Watched Literals for Constraint Propagation in Minion
From MaRDI portal
Publication:3524241
DOI10.1007/11889205_15zbMath1420.68195MaRDI QIDQ3524241
Ian Miguel, Chris Jefferson, Ian Philip Gent
Publication date: 9 September 2008
Published in: Principles and Practice of Constraint Programming - CP 2006 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11889205_15
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
A pearl on SAT and SMT solving in Prolog, The extended global cardinality constraint: an empirical survey, Implementing logical connectives in constraint programming, Towards breaking more composition symmetries in partial symmetry breaking, A microkernel architecture for constraint programming, Propagation engine prototyping with a domain specific language, Optimal and efficient filtering algorithms for table constraints, View-based propagation of decomposable constraints, Variable and value elimination in binary constraint satisfaction via forbidden patterns, Generalised arc consistency for the AllDifferent constraint: an empirical survey
Uses Software