STR2: optimized simple tabular reduction for table constraints
From MaRDI portal
Publication:429802
DOI10.1007/s10601-011-9107-6zbMath1244.90232OpenAlexW2010489986MaRDI QIDQ429802
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
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
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
