Domain consistency with forbidden values

DOI10.1007/S10601-012-9135-XzbMATH Open1303.90065OpenAlexW2160000427MaRDI QIDQ481709FDOQ481709

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

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

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)

Cites Work

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

Cited In (1)

• Forbidden Extension Queries

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)