Pages that link to "Item:Q2389682"

The following pages link to Modelling and solving temporal reasoning as propositional satisfiability (Q2389682):

Displaying 6 items.

• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
• Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra (Q354605) (← links)
• Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
• Branching interval algebra: an almost complete picture (Q2051838) (← links)
• Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming (Q5140008) (← links)