STR2: optimized simple tabular reduction for table constraints

DOI10.1007/S10601-011-9107-6MaRDI QIDQ429802zbMATHOpenAlexFDO

Authors 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)

Recommendations

• Improving the lower bound of simple tabular reduction
• STR3: a path-optimal filtering algorithm for table constraints
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Sliced Table Constraints: Combining Compression and Tabular Reduction
• Strong local consistency algorithms for table constraints

Cites work

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

Cited in

(16)

• The smart table constraint
• A CP-based automatic tool for instantiating truncated differential characteristics
• Strong local consistency algorithms for table constraints
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Sliced Table Constraints: Combining Compression and Tabular Reduction
• Degree reduction in labeled graph retrieval
• Constraint reasoning
• Scheduling double round-robin tournaments with divisional play using constraint programming
• Generating custom propagators for arbitrary constraints
• Generalized hypertree decomposition for solving non binary CSP with compressed table constraints
• A path-optimal GAC algorithm for table constraints
• Improving the lower bound of simple tabular reduction
• Computing and restoring global inverse consistency in interactive constraint satisfaction
• From MDD to BDD and arc consistency
• STR3: a path-optimal filtering algorithm for table constraints
• Optimal and efficient filtering algorithms for table constraints

Describes a project that uses

Uses Software

• STR2

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q429802)