Pages that link to "Item:Q6487560"
From MaRDI portal
The following pages link to Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions (Q6487560):
Displaying 6 items.
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (Q821554) (← links)
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games (Q1706770) (← links)
- Mining CSTNUDs significant for a set of traces is polynomial (Q2051798) (← links)
- An interdisciplinary experimental evaluation on the disjunctive temporal problem (Q6080502) (← links)
- Dynamic controllability of temporal networks with instantaneous reaction (Q6205017) (← links)
- Incorporating decision nodes into conditional simple temporal networks (Q6486429) (← links)
