A parallel algorithm for GAC filtering of the Alldifferent constraint

DOI10.1007/978-3-031-08011-1_26zbMath1502.68281OpenAlexW4285135570MaRDI QIDQ2170220

Wijnand Suijlen, Félix de Framond, Antoine Petitet, Arnaud Lallouet

Publication date: 30 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08011-1_26

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Approximation methods and heuristics in mathematical programming (90C59) Parallel algorithms in computer science (68W10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• BSPonMPI
• Gecode
• AllDifferent
• GitHub
• BSPedupack
• MulticoreBSP

Cites Work

• Unnamed Item
• A conservative scheme for parallel interval narrowing
• A distributed arc-consistency algorithm
• Optimal distributed arc-consistency
• Algorithms for dense graphs and networks on the random access computer
• Generalised arc consistency for the AllDifferent constraint: an empirical survey
• On the parallel complexity of discrete relaxation in constraint satisfaction networks
• The AllDifferent Constraint with Precedences
• A review of literature on parallel constraint solving
• Generating Solutions to the N-Queens Problem Using 2-Circulants
• Parallel Scientific Computation
• Bounds on Multiprocessing Timing Anomalies
• Depth-First Search and Linear Graph Algorithms

This page was built for publication: A parallel algorithm for GAC filtering of the Alldifferent constraint