Multiset variable representations and constraint propagation

DOI10.1007/S10601-012-9138-7zbMath1336.68238OpenAlexW2099435803MaRDI QIDQ481702

M. H. C. Woo, Jimmy Ho-man Lee, Toby Walsh, Yat Chiu Law

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

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

Uses Software

• CPLEX
• CSPLib
• Choco
• Gecode
• Cardinal

Cites Work

• Unnamed Item
• Unnamed Item
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Cardinal: a finite sets constraint solver
• Construction of extended Steiner systems for information retrieval
• Extended (2,4)-designs
• Consistency in networks of relations
• Extended triple systems
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2004

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