The following pages link to From local to global consistency (Q1193482):
Displaying 41 items.
- Tractability in constraint satisfaction problems: a survey (Q271997) (← links)
- Computing and restoring global inverse consistency in interactive constraint satisfaction (Q334804) (← links)
- On minimal constraint networks (Q359976) (← links)
- Guaranteed global performance through local coordinations (Q540161) (← links)
- Constraint satisfaction -- algorithms and complexity analysis (Q672029) (← links)
- On weak positive predicates over a finite set (Q783121) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Revisiting global constraint satisfaction (Q1129109) (← links)
- Local and global proportionality (Q1193452) (← 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)
- On tree-preserving constraints (Q1688715) (← links)
- On bijunctive predicates over a finite set (Q1741483) (← links)
- Reduction operations in fuzzy or valued constraint satisfaction (Q1873182) (← links)
- Properties of tree convex constraints (Q2389670) (← links)
- Incremental elicitation of Choquet capacities for multicriteria choice, ranking and sorting problems (Q2407884) (← links)
- Combinatorial problems raised from 2-semilattices (Q2496183) (← links)
- On rule systems whose consistency can be locally maintained (Q2876316) (← links)
- Consistency and localizability (Q2880900) (← links)
- (Q3078040) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
- HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results (Q3655143) (← links)
- Fast parallel constraint satisfaction (Q4630280) (← links)
- On m-Junctive Predicates on a Finite Set (Q4973259) (← links)
- Hybrid Tractable Classes of Constraint Problems (Q4993597) (← links)
- Quantified Constraints in Twenty Seventeen (Q4993605) (← links)
- Ideal Membership Problem over 3-Element CSPs with Dual Discriminator Polymorphism (Q5096588) (← links)
- A Logical Approach to Constraint Satisfaction (Q5504702) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900340) (← links)
- Tractable constraints on ordered domains (Q5917444) (← links)
- Tractable constraints on ordered domains (Q5925572) (← links)
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning (Q5958761) (← links)