Domain consistency with forbidden values

DOI10.1007/S10601-012-9135-XMaRDI QIDQ481709zbMATH OpenOpenAlexFDO

Authors Jean-Baptiste Mairy, Yves Deville, Pascal Van Hentenryck

Publication date 12 December 2014

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-012-9135-x

zbMATH Keywords

consistencypropagationnegative constraints

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04) Boolean programming (90C09)

Recommendations

• A generic arc-consistency algorithm and its specializations
• Domain filtering consistencies
• Generalized Arc Consistency for Positive Table Constraints
• scientific article; zbMATH DE number 67482
• Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency

Cites work

• A generic arc-consistency algorithm and its specializations
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• An optimal coarse-grained arc consistency algorithm
• Consistency in networks of relations
• Design, implementation, and evaluation of the constraint language cc(FD)
• Generalized Arc Consistency for Positive Table Constraints
• Implementing logical connectives in constraint programming
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Principles and Practice of Constraint Programming – CP 2004
• Truly concurrent constraint programming

Cited in

(1)

• Forbidden Extension Queries

Describes a project that uses

Uses Software

• cc(FD)

This page was built for publication: Domain consistency with forbidden values

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