Filtering algorithms for the multiset ordering constraint

DOI10.1016/J.ARTINT.2008.11.001zbMATH Open1191.68633OpenAlexW2121286910MaRDI QIDQ835808FDOQ835808

Authors: Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh 

Publication date: 31 August 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2008.11.001

Recommendations

• scientific article; zbMATH DE number 2159467
• Global Constraints: A Survey
• Propagation algorithms for lexicographic ordering constraints
• Consistency and propagation with multiset constraints: a formal viewpoint
• Multiset variable representations and constraint propagation

zbMATH Keywords

modellingconstraint programmingconstraint satisfactionglobal constraintssymmetry breakingconstraint propagationpropagation algorithmsmultiset orderingleximin optimal solutions

Mathematics Subject Classification ID

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

Cites Work

• Design, implementation, and evaluation of the constraint language cc(FD)
• Handbook of constraint programming.
• Consistency in networks of relations
• Optimal narrowing of a block of sortings in optimal time
• Complete bound consistency for the global cardinality constraint
• Principles of Constraint Programming
• Title not available (Why is that?)
• Integer optimization by local search. A domain-independent approach
• An efficient bounds consistency algorithm for the global cardinality constraint
• Title not available (Why is that?)
• Principles and practice of declarative programming. International conference PPDP '99. Paris, France, September 29--October 1, 1999. Proceedings
• Principles and Practice of Constraint Programming – CP 2003
• Computing leximin-optimal solutions in constraint networks

Cited In (9)

• Computing leximin-optimal solutions in constraint networks
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• A cumulative not-first/not-last filtering algorithm in \(O(n^2 \log(n))\)
• Automated streamliner portfolios for constraint satisfaction problems
• Multiset variable representations and constraint propagation
• Fuzzy multiset finite automata and their languages
• On multiset ordering
• Consistency and propagation with multiset constraints: a formal viewpoint
• Propagation algorithms for lexicographic ordering constraints

Uses Software

• CPLEX
• WSAT(OIP)
• SICStus
• cc(FD)
• FaCiLe

This page was built for publication: Filtering algorithms for the multiset ordering constraint

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