STR2: optimized simple tabular reduction for table constraints

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Constraints

• Publication date

  2011-10-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/s10601-011-9107-6
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Equivalence Constraint Satisfaction Problems

  2012cited by this paper
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

  2010cited by this paper
• Constraint Processing

  2009cited by this paper
• Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints

  2008cited by this paper
• Optimization of Simple Tabular Reduction for Table Constraints

  2008cited by this paper
• Data Structures for Generalised Arc Consistency for Extensional Constraints

  2007cited by this paper
• A Study of Residual Supports in Arc Consistency

  2007cited by this paper
• Random constraint satisfaction: Easy generation of hard (satisfiable) instances

  2007cited by this paper
• A Compression Algorithm for Large Arity Extensional Constraints

  2007influential reference
• Enforcing Arc Consistency using Bitwise Operations

  2007cited by this paper
• Conservative Dual Consistency

  2007cited by this paper
• The Complexity of Reasoning with Global Constraints

  2007cited by this paper
• Partition search for non-binary constraint satisfaction

  2007influential reference
• Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints

  2006cited by this paper
• Influence of cultivation temperature on the ligninolytic activity of selected fungal strains

  2006cited by this paper
• Generalized Arc Consistency for Positive Table Constraints

  2006cited by this paper
• Beyond Singleton Arc Consistency

  2006cited by this paper
• Constraint Propagation

  2006cited by this paper
• A Simple Model to Generate Hard Satisfiable Instances

  2005cited by this paper
• An optimal coarse-grained arc consistency algorithm

  2005cited by this paper
• A Greedy Approach to Establish Singleton Arc Consistency

  2005cited by this paper
• Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results

  2005cited by this paper
• Optimal and Suboptimal Singleton Arc Consistency Algorithms

  2005cited by this paper
• A Fast Arc Consistency Algorithm for n-ary Constraints

  2005cited by this paper
• A Regular Language Membership Constraint for Finite Sequences of Variables

  2004cited by this paper
• Arc Consistency in MAC: A New Perspective?

  2004cited by this paper
• Boosting Systematic Search by Weighting Constraints

  2004cited by this paper
• Constraint Programming Lessons Learned from Crossword Puzzles

  2001cited by this paper
• Encodings of Non-Binary Constraint Satisfaction Problems

  1999cited by this paper
• Arc Consistency for General Constraint Networks: Preliminary Results

  1997cited by this paper
• MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems

  1996cited by this paper
• Backtracking without trailing in CLP (ℜLin)

  1995cited by this paper
• Contradicting Conventional Wisdom in Constraint Satisfaction

  1994influential reference
• Decomposing Constraint Satisfaction Problems Using Database Techniques

  1994cited by this paper
• Dynamic Backtracking

  1993cited by this paper
• An efficient representation for sparse sets

  1993cited by this paper
• The CLP( ℛ ) language and system

  1992cited by this paper
• Search Lessons Learned from Crossword Puzzles

  1990cited by this paper
• Tree Clustering for Constraint Networks

  1989cited by this paper
• Good Old Discrete Relaxation

  1988influential reference
• Constraints

  1979cited by this paper
• Increasing Tree Search Efficiency for Constraint Satisfaction Problems

  1979cited by this paper
• A Binary n-Gram Technique for Automatic Correction of Substitution, Deletion, Insertion and Reversal Errors in Words

  1977cited by this paper
• Consistency in Networks of Relations

  1977cited by this paper
• On Reading Sketch Maps

  1977cited by this paper
• Trie memory

  1960cited by this paper

• Utilizing Regularization for Generating Linear Pseudo-Boolean Constraint Satisfaction Problems

  2025cites this paper
• CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models

  2025cites this paper
• GPU Accelerated Compact-Table Propagation

  2025cites this paper
• Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport

  2024cites this paper
• Check-In Desk Scheduling Optimisation at CDG International Airport

  2024cites this paper
• Intertwining CP and NLP: The Generation of Unreasonably Constrained Sentences

  2024cites this paper
• The Expressive Power of Ad-Hoc Constraints for Modelling CSPs

  2023cites this paper
• ACE, a generic constraint solver

  2023cites this paper
• A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics - Extended Version

  2023cites this paper
• Binary Constraint Trees and Structured Decomposability

  2023cites this paper
• Constraints First: A New MDD-based Model to Generate Sentences Under Constraints

  2023cites this paper
• Generalized Confidence Constraints

  2023cites this paper
• An Auditable Constraint Programming Solver

  2022cites this paper
• CNF Encodings of Binary Constraint Trees

  2022cites this paper
• An efficient heuristic approach combining maximal itemsets and area measure for compressing voluminous table constraints

  2022cites this paper
• Tables segmentées : un outil de modélisation efficace pour le raisonnement par contraintes

  2021influential citation
• ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints

  2021cites this paper
• Supporting Open Domains in Collaborative Modular Modeling

  2021cites this paper
• Adaptive constraint propagation in constraint satisfaction: review and evaluation

  2021cites this paper
• Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

  2020cites this paper
• Representation and Processing of Qualitative Constraints Using a New Type of Smart Tables

  2020cites this paper
• XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

  2020cites this paper
• Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning

  2020cites this paper
• Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs

  2020cites this paper
• Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas

  2020influential citation
• On combining variable ordering heuristics for constraint satisfaction problems

  2020cites this paper
• Arc Consistency Revisited

  2019cites this paper
• A Novel Multi-Thread Parallel Constraint Propagation Scheme

  2019cites this paper
• Constraint Reasoning

  2019cites this paper
• Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams

  2019cites this paper
• The Regularization of Small Sub-Constraint Satisfaction Problems

  2019influential citation
• Solving the Traveling Tournament Problem with Predefined Venues by Parallel Constraint Programming

  2018cites this paper
• A Novel Strategy of Combining Variable Ordering Heuristics for Constraint Satisfaction Problems

  2018cites this paper
• Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets

  2018cites this paper
• From MDD to BDD and Arc consistency

  2018cites this paper
• Automatic Discovery and Exploitation of Promising Subproblems for Tabulation

  2018cites this paper
• Effectively Enforcing Minimality During Backtrack Search

  2018influential citation
• Higher-Level Consistencies: Where, When, and How Much

  2018influential citation
• PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints

  2018cites this paper
• Saving constraint checks in maintaining coarse-grained generalized arc consistency

  2017cites this paper
• Weight-Based Variable Ordering in the Context of High-Level Consistencies

  2017cites this paper
• Extending Compact-Table to Basic Smart Tables

  2017cites this paper
• Extending Compact-Table to Negative and Short Tables

  2017cites this paper
• CoverSize: A Global Constraint for Frequency-Based Itemset Mining

  2017cites this paper
• Managing variants of a personalized product

  2017cites this paper
• Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints

  2017cites this paper
• Scheduling double round-robin tournaments with divisional play using constraint programming

  2017cites this paper
• Efficient Reification of Table Constraints

  2017influential citation
• Domain value mutation and other techniques for constraint satisfaction problems

  2017cites this paper
• Résolution des problèmes (W)CSP et #CSP par approches structurelles: Calcul et exploitation dynamique de décompositions arborescentes. (Solving (W)CSP and #CSP problems by structural approaches: computation and dynamic exploitation of tree decompositions)

  2017cites this paper
• XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

  2016cites this paper
• Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints

  2016cites this paper
• R´eification de Contraintes Tables

  2016influential citation
• Computing and restoring global inverse consistency in interactive constraint satisfaction

  2016cites this paper
• Optimizing Simple Tabular Reduction with a Bitwise Representation

  2016cites this paper
• Une nouvelle approche au General Game Playing dirigée par les contraintes. (Une nouvelle approche au General Game Playing dirigée par les contraintes)

  2016influential citation
• Complexity Analysis vs. Engineering Design in CSP Algorithms: Contravening Conventional Wisdom Again

  2016influential citation
• Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets

  2016influential citation
• Arc consistency with negative variant tables

  2015cites this paper
• Improving degree-based variable ordering heuristics for solving constraint satisfaction problems

  2015cites this paper
• Column oriented compilation of variant tables

  2015cites this paper
• Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

  2015cites this paper
• Efficient algorithms for strong local consistencies and adaptive techniques in constraint satisfaction problems

  2015influential citation
• Decomposition of the Factor Encoding for CSPs

  2015influential citation
• The Smart Table Constraint

  2015cites this paper
• Degree Reduction in Labeled Graph Retrieval

  2015cites this paper
• STR3: A path-optimal filtering algorithm for table constraints

  2015cites this paper
• Parallélisme en programmation par contraintes

  2015cites this paper
• Strong local consistency algorithms for table constraints

  2015cites this paper
• Sliced Table Constraints: Combining Compression and Tabular Reduction

  2014influential citation
• Improving GAC-4 for Table and MDD Constraints

  2014cites this paper
• Short and Long Supports for Constraint Propagation

  2014influential citation
• Les contraintes table fragmentées : Combiner la compression et la réduction tabulaire

  2014cites this paper
• Generating custom propagators for arbitrary constraints

  2014cites this paper
• Improving the lower bound of simple tabular reduction

  2014cites this paper
• Higher-Order Consistencies through GAC on Factor Variables

  2014cites this paper
• Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports

  2014cites this paper
• A COMPARATIVE STUDY OF GENERALIZED ARC-CONSISTENCY ALGORITHMS

  2014influential citation
• Exploring the Use of GPUs in Constraint Solving

  2014cites this paper
• Castor : a constraint-based SPARQL engine with active filter processing. (Castor : un moteur SPARQL basé sur les contraintes avec exploitation actif de filtres)

  2013cites this paper
• Making Simple Tabular ReductionWorks on Negative Table Constraints

  2013cites this paper
• Reducing consistency checks in generating corrective explanations for interactive constraint satisfaction

  2013cites this paper
• Global Inverse Consistency for Interactive Constraint Satisfaction

  2013influential citation
• An optimal filtering algorithm for table constraints [Un algorithme optimal de filtrage pour contraintes table]

  2013cites this paper
• STR et compression de contraintes tables

  2013cites this paper
• Consistance d ’ arc par MDD-Réduction

  2013cites this paper
• Sparse-sets for domain implementation

  2013cites this paper
• A Compression Method for STR

  2013cites this paper
• Optimizing STR Algorithms with Tuple Compression

  2013influential citation
• Efficient Algorithms for Strong Local Consistencies in Constraint Satisfaction Problems

  2013cites this paper
• Extending STR to a Higher-Order Consistency

  2013cites this paper
• Optimal and efficient filtering algorithms for table constraints

  2013influential citation
• A Path-Optimal GAC Algorithm for Table Constraints

  2012cites this paper
• Propagation des contraintes tables souples Etude preliminaire

  2012cites this paper
• Propagating Soft Table Constraints

  2012cites this paper
• Castor: A Constraint-Based SPARQL Engine with Active Filter Processing

  2012cites this paper
• An Optimal Filtering Algorithm for Table Constraints

  2012influential citation
• Space-Time Tradeoffs for the Regular Constraint

  2012influential citation
• No title

  2012influential citation
• An Efficient Higher-Order Consistency Algorithm for Table Constraints

  2012cites this paper