Generating custom propagators for arbitrary constraints

DOI10.1016/J.ARTINT.2014.03.001MaRDI QIDQ2453695zbMATH OpenOpenAlexFDO

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

Publication date 10 June 2014

Published in Artificial Intelligence (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

constraint programmingconstraint satisfaction problemcombinatorial searchpropagation algorithms

Mathematics Subject Classification ID

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

Recommendations

• Generating Propagators for Finite Set Constraints
• Constraint Generation and Surrogate Relaxation
• scientific article; zbMATH DE number 1234564
• The essence of constraint propagation

Cites work

• scientific article; zbMATH DE number 1188567 (Why is no real title available?)
• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• scientific article; zbMATH DE number 2084699 (Why is no real title available?)
• A path-optimal GAC algorithm for table constraints
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• An optimal coarse-grained arc consistency algorithm
• Constraint programming and hybrid formulations for three life designs
• Constraint programming viewed as rule-based programming
• Finding the smallest image of a set
• Generalized Arc Consistency for Positive Table Constraints
• Generating custom propagators for arbitrary constraints
• Handbook of constraint programming.
• Introduction to algorithms
• Modelling and solving English peg solitaire
• Principles and Practice of Constraint Programming – CP 2004
• Propagation algorithms for lexicographic ordering constraints
• Reformulation of global constraints based on constraints checkers
• STR2: optimized simple tabular reduction for table constraints
• Symmetry definitions for constraint satisfaction problems
• View-based propagator derivation

Cited in

(7)

• Generating Propagators for Finite Set Constraints
• Using finite transducers for describing and synthesising structural time-series constraints
• View-based propagator derivation
• Range-consistent forbidden regions of Allen's relations
• scientific article; zbMATH DE number 2084734 (Why is no real title available?)
• Generating custom propagators for arbitrary constraints
• Auto-tabling for subproblem presolving in MiniZinc

Describes a project that uses

Uses Software

• STR2
• MINION
• GAP

This page was built for publication: Generating custom propagators for arbitrary constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2453695)