STR3: a path-optimal filtering algorithm for table constraints

DOI10.1016/j.artint.2014.12.002zbMath1328.68199OpenAlexW1990422819MaRDI QIDQ2341830

Roland H. C. Yap, Christophe Lecoutre, Chavalit Likitvivatanavong

Publication date: 6 May 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2014.12.002

zbMATH Keywords

non-binary constraintsconstraint satisfaction problemsgeneralized arc consistencybacktracking search

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Computing and restoring global inverse consistency in interactive constraint satisfaction ⋮ Enriching Solutions to Combinatorial Problems via Solution Engineering ⋮ Scheduling double round-robin tournaments with divisional play using constraint programming

Uses Software

• Chaff
• STR2
• INGRES

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• Random constraint satisfaction: easy generation of hard (satisfiable) instances
• Tree clustering for constraint networks
• A generic arc-consistency algorithm and its specializations
• Consistency in networks of relations
• Using constraint metaknowledge to reduce arc consistency computation
• Optimal and efficient filtering algorithms for table constraints
• Improving the lower bound of simple tabular reduction
• Partition search for non-binary constraint satisfaction
• An optimal coarse-grained arc consistency algorithm
• Optimal Implementation of Watched Literals and More General Techniques
• Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
• Generalized Arc Consistency for Positive Table Constraints
• Fast Set Bounds Propagation Using a BDD-SAT Hybrid
• Sliced Table Constraints: Combining Compression and Tabular Reduction
• Consistency restoration and explanations in dynamic CSPs---Application to configuration

This page was built for publication: STR3: a path-optimal filtering algorithm for table constraints