Multiset variable representations and constraint propagation

DOI10.1007/S10601-012-9138-7MaRDI QIDQ481702zbMATH OpenOpenAlexFDO

Authors M. H. C. Woo, Yat Chiu Law, J. H. M. Lee, Toby Walsh

Publication date 12 December 2014

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-012-9138-7

zbMATH Keywords

constraint satisfactionmultiset variables

Mathematics Subject Classification ID

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

Recommendations

• Consistency and propagation with multiset constraints: a formal viewpoint
• Recent Advances in Constraints
• Principles and Practice of Constraint Programming – CP 2004
• Filtering algorithms for the multiset ordering constraint
• Beyond Finite Domains: The All Different and Global Cardinality Constraints

Cites work

• Cardinal: a finite sets constraint solver
• Consistency and propagation with multiset constraints: a formal viewpoint
• Consistency in networks of relations
• Construction of extended Steiner systems for information retrieval
• Extended (2,4)-designs
• Extended triple systems
• scientific article; zbMATH DE number 1696811 (Why is no real title available?)
• scientific article; zbMATH DE number 2243396 (Why is no real title available?)
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Principles and Practice of Constraint Programming – CP 2004

Cited in

(8)

• Enhancing numerical constraint propagation using multiple inclusion representations
• scientific article; zbMATH DE number 1420799 (Why is no real title available?)
• Consistency and propagation with multiset constraints: a formal viewpoint
• Recent Advances in Constraints
• Principles and Practice of Constraint Programming – CP 2004
• Principles and Practice of Constraint Programming – CP 2004
• Generic multiset programming with discrimination-based joins and symbolic Cartesian products
• Filtering algorithms for the multiset ordering constraint

Describes a project that uses

Uses Software

• CPLEX
• CSPLib
• Choco
• Gecode
• Cardinal

This page was built for publication: Multiset variable representations and constraint propagation

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