Tree clustering for constraint networks
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3823168 (Why is no real title available?)
- scientific article; zbMATH DE number 4081531 (Why is no real title available?)
- scientific article; zbMATH DE number 4112072 (Why is no real title available?)
- scientific article; zbMATH DE number 4121482 (Why is no real title available?)
- A Sufficient Condition for Backtrack-Free Search
- Complexity of Finding Embeddings in a k-Tree
- Network-based heuristics for constraint-satisfaction problems
- Networks of constraints: Fundamental properties and applications to picture processing
- Nonserial dynamic programming
- On the Desirability of Acyclic Database Schemes
- Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
- Synthesizing constraint expressions
Cited in
(89)- The complexity of approximating bounded-degree Boolean \(\#\)CSP
- Tree projections and structural decomposition methods: minimality and game-theoretic characterization
- Recursive conditioning
- STR3: a path-optimal filtering algorithm for table constraints
- Local and global relational consistency
- The expressive power of valued constraints: Hierarchies and collapses
- Fugitive-search games on graphs and related parameters
- A Logical Approach to Constraint Satisfaction
- On point-duration networks for temporal reasoning
- Experimental evaluation of preprocessing algorithms for constraint satisfaction problems
- On a new extension of BTP for binary CSPs
- STR2: optimized simple tabular reduction for table constraints
- Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination
- Reformulation of global constraints based on constraints checkers
- Dynamic Management of Heuristics for Solving Structured CSPs
- A sufficiently fast algorithm for finding close to optimal clique trees
- Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
- Hypertree decompositions and tractable queries
- Binary vs. non-binary constraints
- Large hypertree width for sparse random hypergraphs
- Temporal constraint networks
- Clustering for Petri nets
- Constraint satisfaction with bounded treewidth revisited
- Approximation algorithms for treewidth
- Using artificial neural networks for constraint satisfaction problem
- A unified theory of structural tractability for constraint satisfaction problems
- Topological parameters for time-space tradeoff
- Optimization of a recursive conveyor by reduction to a constraint satisfaction problem
- scientific article; zbMATH DE number 67813 (Why is no real title available?)
- Unifying tree decompositions for reasoning in graphical models
- Binary constraint satisfaction problems defined by excluded topological minors
- From local to global consistency
- The power of propagation: when GAC is enough
- Decomposing constraint satisfaction problems using database techniques
- Propositional semantics for disjunctive logic programs
- The complexity of constraint satisfaction revisited
- Constraint reasoning
- A comparison of structural CSP decomposition methods
- Conjunctive-query containment and constraint satisfaction
- Computing a partition function of a generalized pattern-based energy over a semiring
- Computational social choice for coordination in agent networks
- Partition-based logical reasoning for first-order and propositional theories
- Guarantees and limits of preprocessing in constraint satisfaction and reasoning
- Dynamic variable ordering in graph based backjumping algorithms for csps
- Constraint satisfaction with succinctly specified relations
- Binarisation for valued constraint satisfaction problems
- Generalized hypertree decomposition for solving non binary CSP with compressed table constraints
- Finding and counting permutations via CSPs
- Galois connections for patterns: an algebra of labelled graphs
- Integer programs for logic constraint satisfaction
- Constraint models for the covering test problem
- Focusing on independent diagnosis problems
- On computing minimal models
- Fugitive-search games on graphs and related parameters
- Counting truth assignments of formulas of bounded tree-width or clique-width
- The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems
- Structural tractability of enumerating CSP solutions
- LP formulations for polynomial optimization problems
- Coalition structure generation: a survey
- Domain permutation reduction for constraint satisfaction problems
- Combining qualitative and quantitative constraints in temporal reasoning
- Linear-programming design and analysis of fast algorithms for Max 2-CSP
- The complexity of reasoning with global constraints
- Consistency restoration and explanations in dynamic CSPs---Application to configuration
- Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms
- A review of tree convex sets test
- Constraint Satisfaction
- Four Shorts Stories on Surprising Algorithmic Uses of Treewidth
- Structure-driven algorithms for truth maintenance
- Fixed-parameter complexity in AI and nonmonotonic reasoning
- Learning cluster-based structure to solve constraint satisfaction problems
- Exploiting separators for guiding VNS
- New limits of treewidth-based tractability in optimization
- Parameterized complexity results in symmetry breaking
- Default reasoning using classical logic
- Backjump-based backtracking for constraint satisfaction problems
- A new branch-and-filter exact algorithm for binary constraint satisfaction problems
- Accelerating new product development by overcoming complexity constraints
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach
- AND/OR search spaces for graphical models
- Combining restarts, nogoods and bag-connected decompositions for solving csps
- Bounded-width QBF is PSPACE-complete
- Structure identification in relational data
- Hybrid backtracking bounded by tree-decomposition of constraint networks
- Compiling propositional weighted bases
- Compiling constraint satisfaction problems
- Diagnosing tree-structured systems
- Decomposable constraints
- Uncovering trees in constraint networks
This page was built for publication: Tree clustering for constraint networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1116363)
