Representations of the all\_different predicate of constraint satisfaction in integer programming
DOI10.1287/IJOC.13.2.96.10515zbMATH Open1238.90103OpenAlexW2149482683MaRDI QIDQ2884497FDOQ2884497
Authors: H. P. Williams, Hong Yan
Publication date: 30 May 2012
Published in: INFORMS Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/c0ee06af5ad949bd43bc8cf1f3eaf20a20f0e923
Recommendations
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- On the system of the multiple all different predicates
- On the facets of the multiple alldifferent constraint
- Facets of multiple alldifferent predicates of size 2 arranged in a cycle
- A polyhedral approach to the \textit{alldifferent} system
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27) Integer programming (90C10)
Cited In (15)
- Cardinality constraints and systems of restricted representatives
- Constraint programming and operations research
- On the system of two all different\(\_\)predicates
- On the facial structure of the alldifferent system
- Solving house allocation problems with risk-averse agents
- A supernodal formulation of vertex colouring with applications in course timetabling
- A short convex-hull proof for the all-different system with the inclusion property
- Coloring distance graphs on the plane
- Graph coloring inequalities from all-different systems
- A polyhedral approach to the \textit{alldifferent} system
- Parsimonious binary-encoding in integer programming
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- Submodularity and its application to some global constraints
- Title not available (Why is that?)
- Matrices with lexicographically-ordered rows
Uses Software
This page was built for publication: Representations of the all\_different predicate of constraint satisfaction in integer programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884497)