Pages that link to "Item:Q4369874"
From MaRDI portal
The following pages link to On the minimality and global consistency of row-convex constraint networks (Q4369874):
Displaying 25 items.
- Tractability in constraint satisfaction problems: a survey (Q271997) (← links)
- Strong local consistency algorithms for table constraints (Q272003) (← links)
- On minimal constraint networks (Q359976) (← links)
- Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search (Q457253) (← links)
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning (Q821556) (← links)
- Solving connected row convex constraints by variable elimination (Q840826) (← links)
- A hybrid tractable class for non-binary CSPs (Q903910) (← links)
- Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination (Q991007) (← links)
- From local to global consistency (Q1193482) (← links)
- Constraints, consistency and closure (Q1274280) (← links)
- Constraint satisfaction over connected row-convex constraints (Q1292317) (← links)
- From local to global consistency in temporal constraint networks (Q1391930) (← links)
- Local and global relational consistency (Q1391940) (← links)
- Solving multi-granularity temporal constraint networks (Q1614864) (← links)
- Disjunctions, independence, refinements (Q1614865) (← links)
- On tree-preserving constraints (Q1688715) (← links)
- A new tractable class of constraint satisfaction problems (Q1776199) (← links)
- Domain filtering consistencies for non-binary constraints (Q2389637) (← links)
- Domain permutation reduction for constraint satisfaction problems (Q2389649) (← links)
- Properties of tree convex constraints (Q2389670) (← links)
- The complexity of reasoning with global constraints (Q2454812) (← links)
- Uncovering trees in constraint networks (Q2676569) (← links)
- Combining qualitative and quantitative constraints in temporal reasoning (Q2676582) (← links)
- Tradeoffs in the Complexity of Backdoor Detection (Q3523063) (← links)
- Constraint reasoning (Q6602253) (← links)