The following pages link to From local to global consistency (Q1193482):
Displayed 21 items.
- Constraint satisfaction -- algorithms and complexity analysis (Q672029) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Revisiting global constraint satisfaction (Q1129109) (← links)
- Constraints, consistency and closure (Q1274280) (← links)
- Fast parallel constraint satisfaction (Q1313952) (← links)
- Characterising tractable constraints (Q1321064) (← links)
- Model-based inference in CHARME. (Q1342427) (← links)
- From local to global consistency in temporal constraint networks (Q1391930) (← links)
- Local and global relational consistency (Q1391940) (← links)
- Processing disjunctions in temporal constraint networks (Q1402717) (← links)
- Backtracking algorithms for disjunctions of temporal constraints (Q1575430) (← links)
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras (Q1583517) (← links)
- Querying temporal and spatial constraint networks in PTIME (Q1589478) (← links)
- On point-duration networks for temporal reasoning (Q1614860) (← links)
- Reduction operations in fuzzy or valued constraint satisfaction (Q1873182) (← links)
- Combinatorial problems raised from 2-semilattices (Q2496183) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
- HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results (Q3655143) (← links)
- A Logical Approach to Constraint Satisfaction (Q5504702) (← links)
- Tractable constraints on ordered domains (Q5917444) (← links)
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning (Q5958761) (← links)