Domain consistency with forbidden values

DOI10.1007/s10601-012-9135-xzbMath1303.90065OpenAlexW2160000427MaRDI QIDQ481709

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

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

Uses Software

• cc(FD)

Cites Work

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

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