Efficient solution techniques for disjunctive temporal reasoning problems
From MaRDI portal
Publication:814524
Recommendations
- On Solving Soft Temporal Constraints Using SAT Techniques
- Processing disjunctions in temporal constraint networks
- On the modelling and optimization of preferences in constraint-based temporal reasoning
- Solving disjunctive temporal problems with preferences using maximum satisfiability
- Backtracking algorithms for disjunctions of temporal constraints
Cites work
- scientific article; zbMATH DE number 5542185 (Why is no real title available?)
- scientific article; zbMATH DE number 1149402 (Why is no real title available?)
- scientific article; zbMATH DE number 1487978 (Why is no real title available?)
- scientific article; zbMATH DE number 1448980 (Why is no real title available?)
- Applying constraint satisfaction techniques to job shop scheduling
- Backjump-based backtracking for constraint satisfaction problems
- Backtracking algorithms for disjunctions of temporal constraints
- CTP: A new constraint-based formalism for conditional, temporal planning
- Conflict-directed backjumping revisited
- From binary temporal relations to non-binary ones and back
- Non-systematic search and no-good learning
- Temporal constraint networks
Cited in
(17)- Solving disjunctive temporal problems with preferences using maximum satisfiability
- Dynamic controllability via timed game automata
- Translation-based approaches for solving disjunctive temporal problems with preferences
- Modelling and solving temporal reasoning as propositional satisfiability
- Temporal reasoning about fuzzy intervals
- Strong temporal planning with uncontrollable durations
- On Solving Soft Temporal Constraints Using SAT Techniques
- The SAT-based approach to separation logic
- Efficient Temporal Satisfiability
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
- On restricted disjunctive temporal problems: faster algorithms and tractability frontier
- Optimal rectangle packing
- On the modelling and optimization of preferences in constraint-based temporal reasoning
- An interdisciplinary experimental evaluation on the disjunctive temporal problem
- Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm
- Reducing the number of disjuncts in DTPs
- Solving strong controllability of temporal problems with uncertainty using SMT
This page was built for publication: Efficient solution techniques for disjunctive temporal reasoning problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814524)
