Constraint reasoning
From MaRDI portal
Publication:6602253
DOI10.1007/978-3-030-06167-8_6zbMATH Open1547.68702MaRDI QIDQ6602253
Publication date: 11 September 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- STR2: optimized simple tabular reduction for table constraints
- Skypattern mining: from pattern condensed representations to dynamic constraint satisfaction problems
- Constrained clustering by constraint programming
- Empirical decision model learning
- Itemset mining: a constraint programming perspective
- Optimal speedup of Las Vegas algorithms
- Hybrid backtracking bounded by tree-decomposition of constraint networks
- Statistical regimes across constrainedness regions
- Reformulation of global constraints based on constraints checkers
- Efficient algorithms for combinatorial problems on graphs with bounded decomposability - a survey
- Network-based heuristics for constraint-satisfaction problems
- Tree clustering for constraint networks
- Consistency in networks of relations
- A language and a program for stating and solving combinatorial problems
- Constraints, consistency and closure
- Using constraint metaknowledge to reduce arc consistency computation
- Constraint satisfaction over connected row-convex constraints
- Radio link frequency assignment
- Decomposing constraint satisfaction problems using database techniques
- Characterising tractable constraints
- Local and global relational consistency
- Fundamental properties of neighbourhood substitution in constraint satisfaction problems
- A comparison of structural CSP decomposition methods
- The power of propagation: when GAC is enough
- Networks of constraints: Fundamental properties and applications to picture processing
- Propagation via lazy clause generation
- STR3: a path-optimal filtering algorithm for table constraints
- Partition search for non-binary constraint satisfaction
- The complexity of reasoning with global constraints
- An optimal coarse-grained arc consistency algorithm
- Open constraint programming
- REF-ARF: A system for solving problems stated as procedures
- Domain filtering consistencies
- A sufficient condition for backtrack-bounded search
- A Sufficient Condition for Backtrack-Free Search
- Synthesizing constraint expressions
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- On the minimality and global consistency of row-convex constraint networks
- A new approach to computing optimal schedules for the job-shop scheduling problem
- Arc consistency and friends
- A Simple Algorithm for Mal'tsev Constraints
- MDD Propagation for Sequence Constraints
- Backtrack Programming
- Principles and Practice of Constraint Programming – CP 2004
- Principles and Practice of Constraint Programming – CP 2004
- Tractable constraints on ordered domains
- Consistency restoration and explanations in dynamic CSPs---Application to configuration
This page was built for publication: Constraint reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602253)
