Generating custom propagators for arbitrary constraints

DOI10.1016/j.artint.2014.03.001zbMath1405.68326OpenAlexW2039916141MaRDI QIDQ2453695

Christopher Jefferson, Ian Miguel, Steve Linton, Peter W. Nightingale, Ian Philip Gent

Publication date: 10 June 2014

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2014.03.001

zbMATH Keywords

constraint satisfaction problemconstraint programmingcombinatorial searchpropagation algorithms

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Using finite transducers for describing and synthesising structural time-series constraints, Auto-tabling for subproblem presolving in MiniZinc, Generating custom propagators for arbitrary constraints, Range-consistent forbidden regions of Allen's relations

Uses Software

• GAP
• MINION
• STR2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• STR2: optimized simple tabular reduction for table constraints
• Reformulation of global constraints based on constraints checkers
• Symmetry definitions for constraint satisfaction problems
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Constraint programming and hybrid formulations for three life designs
• View-based propagator derivation
• Generating custom propagators for arbitrary constraints
• Propagation algorithms for lexicographic ordering constraints
• An optimal coarse-grained arc consistency algorithm
• Modelling and solving English peg solitaire
• Generalized Arc Consistency for Positive Table Constraints
• Constraint programming viewed as rule-based programming
• Finding the smallest image of a set
• Principles and Practice of Constraint Programming – CP 2004