Encodings of the Sequence Constraint

DOI10.1007/978-3-540-74970-7_17zbMath1145.68507OpenAlexW1863489072MaRDI QIDQ3523058

Peter J. Stuckey, Toby Walsh, Nina Narodytska, Claude-Guy Quimper, Sebastian Brand

Publication date: 2 September 2008

Published in: Principles and Practice of Constraint Programming – CP 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74970-7_17

Mathematics Subject Classification ID

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

Related Items (10)

Constraint programming and operations research ⋮ Knowledge Compilation with Empowerment ⋮ Automatically improving constraint models in Savile Row ⋮ MDD propagators with explanation ⋮ How efficient is a global constraint in practice? A fair experimental framework ⋮ CP with ACO ⋮ Modular Constraint Solver Cooperation via Abstract Interpretation ⋮ Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers ⋮ On matrices, automata, and double counting in constraint programming ⋮ An optimal arc consistency algorithm for a particular case of sequence constraint

This page was built for publication: Encodings of the Sequence Constraint