Encodings of the Sequence Constraint

DOI10.1007/978-3-540-74970-7_17MaRDI QIDQ3523058zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Revisiting the Sequence Constraint
• New filtering algorithms for combinations of among constraints
• An optimal arc consistency algorithm for a particular case of sequence constraint
• Advanced constraint propagation for the combined car sequencing and level scheduling problem
• scientific article; zbMATH DE number 1738680

Cited in

(16)

• Constraint programming and operations research
• Automatically improving constraint models in Savile Row
• How efficient is a global constraint in practice? A fair experimental framework
• On matrices, automata, and double counting in constraint programming
• An optimal arc consistency algorithm for a particular case of sequence constraint
• Synthesis of domain specific CNF encoders for bit-vector solvers
• Knowledge compilation with empowerment
• Identifying patterns in sequences of variables
• scientific article; zbMATH DE number 4168387 (Why is no real title available?)
• Revisiting the Sequence Constraint
• MDD propagators with explanation
• Modular constraint solver cooperation via abstract interpretation
• Logic Programming
• CP with ACO
• Principles and Practice of Constraint Programming – CP 2004
• New filtering algorithms for combinations of among constraints

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

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