Generating custom propagators for arbitrary constraints

DOI10.1016/J.ARTINT.2014.03.001zbMATH Open1405.68326OpenAlexW2039916141MaRDI QIDQ2453695FDOQ2453695

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)

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

Recommendations

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

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)

Cites Work

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

Cited In (7)

• Using finite transducers for describing and synthesising structural time-series constraints
• View-based propagator derivation
• Range-consistent forbidden regions of Allen's relations
• Title not available (Why is that?)
• Generating custom propagators for arbitrary constraints
• Auto-tabling for subproblem presolving in MiniZinc
• Generating Propagators for Finite Set Constraints

Uses Software

• GAP
• MINION
• STR2

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)