Generalised arc consistency for the AllDifferent constraint: an empirical survey
From MaRDI portal
Publication:2389692
DOI10.1016/J.ARTINT.2008.10.006zbMATH Open1184.68472OpenAlexW2087837834MaRDI QIDQ2389692FDOQ2389692
Authors: Ian Miguel, Ian P. Gent, Peter W. Nightingale 
Publication date: 17 July 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2008.10.006
Recommendations
- A parallel algorithm for GAC filtering of the Alldifferent constraint
- When is it worthwhile to propagate a constraint? A probabilistic analysis of \textsc{AllDifferent}
- Generalizing AllDifferent: The SomeDifferent Constraint
- Recent Advances in Constraints
- Principles and Practice of Constraint Programming – CP 2004
Cites Work
- Title not available (Why is that?)
- Depth-First Search and Linear Graph Algorithms
- Persistency in maximum cardinality bipartite matchings
- The Problem of Compatible Representatives
- An $n^{5/2} $ Algorithm for Maximum Matchings in Bipartite Graphs
- Recent Advances in Constraints
- Computing a maximum cardinality matching in a bipartite graph in time \(O(n^{1,5}\sqrt{m/\log \,n})\)
- Title not available (Why is that?)
- Balance and filtering in structured satisfiable problems. (Preliminary report)
- Watched Literals for Constraint Propagation in Minion
- Principles and Practice of Constraint Programming – CP 2004
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- Title not available (Why is that?)
- Principles and Practice of Constraint Programming – CP 2004
- Recent Advances in Constraints
Cited In (18)
- The \textsc{AllDifferent} constraint with precedences
- The extended global cardinality constraint: an empirical survey
- Arc-Consistency Checking with Bilevel Constraints: An Optimization
- Propagation engine prototyping with a domain specific language
- Redundant disequalities in the Latin square problem
- Modeling the Costas array problem in QUBO for quantum annealing
- Comparing QUBO models for quantum annealing: integer encodings for permutation problems
- Beyond Finite Domains: The All Different and Global Cardinality Constraints
- Title not available (Why is that?)
- A parallel algorithm for GAC filtering of the Alldifferent constraint
- Implementing logical connectives in constraint programming
- Extending SMT solvers with support for finite domain \texttt{alldifferent} constraint
- Title not available (Why is that?)
- A generic arc-consistency algorithm and its specializations
- Generalizing AllDifferent: The SomeDifferent Constraint
- Title not available (Why is that?)
- Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency
- When is it worthwhile to propagate a constraint? A probabilistic analysis of \textsc{AllDifferent}
Uses Software
This page was built for publication: Generalised arc consistency for the AllDifferent constraint: an empirical survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389692)
