Pages that link to "Item:Q1768744"
From MaRDI portal
The following pages link to CTP: A new constraint-based formalism for conditional, temporal planning (Q1768744):
Displayed 22 items.
- Efficient execution of dynamically controllable simple temporal networks with uncertainty (Q262129) (← links)
- Dynamic controllability via timed game automata (Q329422) (← links)
- Discovering implied constraints in precedence graphs with alternatives (Q613781) (← links)
- A new method for constructing a minimal PERT network (Q646227) (← links)
- Efficient solution techniques for disjunctive temporal reasoning problems (Q814524) (← links)
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (Q821554) (← links)
- Allocation and scheduling of conditional task graphs (Q969530) (← links)
- A tabu search procedure for the resource-constrained project scheduling problem with alternative subgraphs (Q1631504) (← links)
- Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm (Q1706164) (← 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)
- Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks (Q2173438) (← links)
- A theoretic and practical framework for scheduling in a stochastic environment (Q2268505) (← links)
- Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty (Q2321284) (← links)
- Conditional simple temporal networks with uncertainty and decisions (Q2334599) (← links)
- Scheduling Conditional Task Graphs (Q3523074) (← links)
- Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models (Q3534663) (← links)
- SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT (Q3631249) (← links)
- (Q5079775) (← links)
- (Q5079782) (← links)
- (Q5079783) (← links)
- Temporal Reasoning in Nested Temporal Networks with Alternatives (Q5302722) (← links)