Strong local consistency algorithms for table constraints

DOI10.1007/s10601-014-9179-1zbMath1334.90169OpenAlexW2086200290MaRDI QIDQ272003

Anastasia Paparrizou, Kostas Stergiou

Publication date: 20 April 2016

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276179/file/maxRPWC_cons15.pdf

zbMATH Keywords

relational consistenciesstrong local consistenciestable constraints

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Uses Software

• maxRPWC+
• STR2

Cites Work

• Unnamed Item
• Unnamed Item
• New algorithms for max restricted path consistency
• 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
• Partition search for non-binary constraint satisfaction
• Domain filtering consistencies for non-binary constraints
• An optimal coarse-grained arc consistency algorithm
• Second-Order Consistencies
• Path Consistency by Dual Consistency
• Generalized Arc Consistency for Positive Table Constraints
• On the minimality and global consistency of row-convex constraint networks
• Preference-Based Problem Solving for Constraint Programming
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

This page was built for publication: Strong local consistency algorithms for table constraints