Filtering algorithms for the \texttt{Same} and \texttt{UsedBy} constraints

MaRDI QIDQ3536362zbMATH OpenFDO

Authors Nicolas Beldiceanu, Irit Katriel, Sven Thiel

Publication date 21 November 2008

zbMATH Keywords

arc-consistencybound-consistencyconstraint programmingfiltering algorithmglobal constraintnetwork flowstrongly connected component

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Deterministic network models in operations research (90B10) Deterministic scheduling theory in operations research (90B35)

Recommendations

• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Recent Advances in Constraints
• scientific article; zbMATH DE number 2159467
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Cited in

(3)

• Recent Advances in Constraints
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints

This page was built for publication: Filtering algorithms for the \texttt{Same} and \texttt{UsedBy} constraints

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