Constraint reasoning
From MaRDI portal
Publication:6602253
Recommendations
Cites work
- scientific article; zbMATH DE number 2084731 (Why is no real title available?)
- A Simple Algorithm for Mal'tsev Constraints
- A Sufficient Condition for Backtrack-Free Search
- A comparison of structural CSP decomposition methods
- A language and a program for stating and solving combinatorial problems
- A new approach to computing optimal schedules for the job-shop scheduling problem
- A sufficient condition for backtrack-bounded search
- An optimal coarse-grained arc consistency algorithm
- Arc consistency and friends
- Backtrack Programming
- Characterising tractable constraints
- Consistency in networks of relations
- Consistency restoration and explanations in dynamic CSPs---Application to configuration
- Constrained clustering by constraint programming
- Constraint satisfaction over connected row-convex constraints
- Constraints, consistency and closure
- Decomposing constraint satisfaction problems using database techniques
- Domain filtering consistencies
- Efficient algorithms for combinatorial problems on graphs with bounded decomposability - a survey
- Empirical decision model learning
- Fundamental properties of neighbourhood substitution in constraint satisfaction problems
- Handbook of constraint programming.
- Hybrid backtracking bounded by tree-decomposition of constraint networks
- Itemset mining: a constraint programming perspective
- Local and global relational consistency
- MDD propagation for sequence constraints
- Network-based heuristics for constraint-satisfaction problems
- Networks of constraints: Fundamental properties and applications to picture processing
- On the minimality and global consistency of row-convex constraint networks
- Open constraint programming
- Optimal speedup of Las Vegas algorithms
- Partition search for non-binary constraint satisfaction
- Principles and Practice of Constraint Programming – CP 2004
- Principles and Practice of Constraint Programming – CP 2004
- Propagation via lazy clause generation
- REF-ARF: A system for solving problems stated as procedures
- Radio link frequency assignment
- Reformulation of global constraints based on constraints checkers
- STR2: optimized simple tabular reduction for table constraints
- STR3: a path-optimal filtering algorithm for table constraints
- Skypattern mining: from pattern condensed representations to dynamic constraint satisfaction problems
- Statistical regimes across constrainedness regions
- Synthesizing constraint expressions
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- The complexity of reasoning with global constraints
- The power of propagation: when GAC is enough
- Tractable constraints on ordered domains
- Tree clustering for constraint networks
- Using constraint metaknowledge to reduce arc consistency computation
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)
