STR2: optimized simple tabular reduction for table constraints

DOI10.1007/S10601-011-9107-6zbMATH Open1244.90232OpenAlexW2010489986MaRDI QIDQ429802FDOQ429802

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)

Cites Work

• Consistency in networks of relations
• Principles and Practice of Constraint Programming – CP 2004
• Decomposing constraint satisfaction problems using database techniques
• 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
• Generalized Arc Consistency for Positive Table Constraints
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• The ROOTS Constraint
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Tree clustering for constraint networks
• Random constraint satisfaction: easy generation of hard (satisfiable) instances
• Title not available (Why is that?)
• A binary n-gram technique for automatic correction of substitution, deletion, insertion and reversal errors in words
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (13)

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

Uses Software

• STR2

   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 👍 👎

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)