STR2: optimized simple tabular reduction for table constraints

DOI10.1007/s10601-011-9107-6zbMath1244.90232OpenAlexW2010489986MaRDI QIDQ429802

Christophe Lecoutre

Publication date: 20 June 2012

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-011-9107-6

zbMATH Keywords

table constraintsextensional constraintsgeneralized arc consistency (GAC)

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35)

Related Items (10)

Strong local consistency algorithms for table constraints ⋮ Computing and restoring global inverse consistency in interactive constraint satisfaction ⋮ Generating custom propagators for arbitrary constraints ⋮ Scheduling double round-robin tournaments with divisional play using constraint programming ⋮ Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints ⋮ Degree Reduction in Labeled Graph Retrieval ⋮ From MDD to BDD and arc consistency ⋮ STR3: a path-optimal filtering algorithm for table constraints ⋮ Optimal and efficient filtering algorithms for table constraints ⋮ Improving the lower bound of simple tabular reduction

Uses Software

• STR2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Random constraint satisfaction: easy generation of hard (satisfiable) instances
• Tree clustering for constraint networks
• Consistency in networks of relations
• Decomposing constraint satisfaction problems using database techniques
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Partition search for non-binary constraint satisfaction
• The complexity of reasoning with global constraints
• An optimal coarse-grained arc consistency algorithm
• Path Consistency by Dual Consistency
• The ROOTS Constraint
• Generalized Arc Consistency for Positive Table Constraints
• A binary n-gram technique for automatic correction of substitution, deletion, insertion and reversal errors in words
• Principles and Practice of Constraint Programming – CP 2004

This page was built for publication: STR2: optimized simple tabular reduction for table constraints