On the system of two all different\(\_\)predicates

DOI10.1016/j.ipl.2005.01.009zbMath1182.68141OpenAlexW2002635598MaRDI QIDQ1041730

J. Blot

Publication date: 4 December 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2005.01.009

zbMATH Keywords

combinatorial problemsfacetconstraint logic programmingall\(\_\)different predicate

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Logic programming (68N17)

Related Items (6)

Projection, consistency, and George Boole ⋮ Submodularity and its application to some global constraints ⋮ A supernodal formulation of vertex colouring with applications in course timetabling ⋮ A polyhedral approach to the \textit{alldifferent} system ⋮ Simultaneous matchings: Hardness and approximation ⋮ Graph coloring inequalities from all-different systems

Cites Work

• Unnamed Item
• Tight representation of logical constraints as cardinality rules
• Representations of the all_different Predicate of Constraint Satisfaction in Integer Programming
• Properties of Some Combinatorial Optimization Problems and Their Effect on the Performance of Integer Programming and Constraint Logic Programming
• Convex Programming Methods for Global Optimization

This page was built for publication: On the system of two all different\(\_\)predicates