Pages that link to "Item:Q5145634"
From MaRDI portal
The following pages link to Temporal Constraint Satisfaction Problems in Fixed-Point Logic (Q5145634):
Displaying 15 items.
- Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning (Q1273464) (← links)
- Datalog and constraint satisfaction with infinite templates (Q1936249) (← links)
- ASNP: a tame fragment of existential second-order logic (Q2106601) (← links)
- Trends in Temporal Reasoning: Constraints, Graphs and Posets (Q2807847) (← links)
- Temporal induction by incremental SAT solving (Q2845506) (← links)
- Efficient Temporal Satisfiability (Q4013255) (← links)
- (Q4217596) (← links)
- Discrete Temporal Constraint Satisfaction Problems (Q4561495) (← links)
- (Q4636296) (← links)
- Search strategies for resolution in temporal logics (Q4647556) (← links)
- (Q5094139) (← links)
- Solving equation systems in ω-categorical algebras (Q5163170) (← links)
- Complexity classification transfer for CSPs via algebraic products (Q6621744) (← links)
- Smooth approximations and CSPs over finitely bounded homogeneous structures (Q6649468) (← links)
- Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough (Q6654559) (← links)