Pages that link to "Item:Q4461354"

The following pages link to A Local Search Approach to Modelling and Solving Interval Algebra Problems (Q4461354):

Displaying 2 items.

• Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
• Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class (Q2457656) (← links)