Pages that link to "Item:Q5958761"

The following pages link to Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning (Q5958761):

Displaying 24 items.

• Constraint solving for interpolation (Q604394) (← links)
• Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
• Complexity classification in qualitative temporal constraint reasoning (Q814637) (← links)
• The PSN tribe (Q1202634) (← links)
• A unifying approach to temporal constraint reasoning (Q1274294) (← links)
• The complexity of query evaluation in indefinite temporal constraint databases (Q1369238) (← links)
• A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
• From local to global consistency in temporal constraint networks (Q1391930) (← links)
• Processing disjunctions in temporal constraint networks (Q1402717) (← links)
• Backtracking algorithms for disjunctions of temporal constraints (Q1575430) (← links)
• Querying temporal and spatial constraint networks in PTIME (Q1589478) (← links)
• On point-duration networks for temporal reasoning (Q1614860) (← links)
• Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
• PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
• Reasoning about action in polynomial time (Q1978466) (← links)
• Extending uncertainty formalisms to linear constraints and other complex formalisms (Q2379316) (← links)
• Temporal reasoning about fuzzy intervals (Q2389652) (← links)
• On the consistency problem for the \(\mathcal {INDU}\) calculus (Q2495387) (← links)
• Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
• Satisfying constraint sets through convex envelopes (Q3429327) (← links)
• Adding clauses to poor man's logic (without increasing the complexity) (Q3647233) (← links)
• Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
• Constraint Satisfaction Problems with Infinite Templates (Q5504704) (← links)
• From binary temporal relations to non-binary ones and back (Q5941132) (← links)