Backtracking algorithms for disjunctions of temporal constraints
From MaRDI portal
Publication:1575430
DOI10.1016/S0004-3702(00)00019-9zbMath0945.68038OpenAlexW2103943372MaRDI QIDQ1575430
Publication date: 21 August 2000
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(00)00019-9
Searching and sorting (68P10) Database theory (68P15) General topics in artificial intelligence (68T01)
Related Items (17)
Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way ⋮ Temporal Reasoning in Nested Temporal Networks with Alternatives ⋮ Temporal reasoning about fuzzy intervals ⋮ The SAT-based approach to separation logic ⋮ M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures ⋮ Optimal rectangle packing ⋮ An interdisciplinary experimental evaluation on the disjunctive temporal problem ⋮ Reducing the number of disjuncts in DTPs ⋮ Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU) ⋮ Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games ⋮ On the modelling and optimization of preferences in constraint-based temporal reasoning ⋮ An initial study of time complexity in infinite-domain constraint satisfaction ⋮ Group planning with time constraints ⋮ From binary temporal relations to non-binary ones and back ⋮ Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty ⋮ Translation-based approaches for solving disjunctive temporal problems with preferences ⋮ Efficient solution techniques for disjunctive temporal reasoning problems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Towards a general theory of action and time
- Network-based heuristics for constraint-satisfaction problems
- Temporal constraint networks
- From local to global consistency
- Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems
- Reasoning about qualitative temporal information
- Consistency in networks of relations
- Temporal constraint satisfaction techniques in job shop scheduling problem solving
- Experimental evaluation of preprocessing algorithms for constraint satisfaction problems
- The complexity of query evaluation in indefinite temporal constraint databases
- From local to global consistency in temporal constraint networks
- A theoretical evaluation of selected backtracking algorithms.
- Processing disjunctions in temporal constraint networks
- Twenty-one large tractable subclasses of Allen's algebra
- Networks of constraints: Fundamental properties and applications to picture processing
- Efficient algorithms for qualitative reasoning about time
- Towards efficient universal planning: A randomized approach
- Generating hard satisfiability problems
- Experimental results on the crossover point in random 3-SAT
- The satisfiability constraint gap
- An empirical study of phase transitions in binary constraint satisfaction problems
- Some pitfalls for experimenters with random SAT
- Locating the phase transition in binary constraint satisfaction problems
- Combining qualitative and quantitative constraints in temporal reasoning
- A Sufficient Condition for Backtrack-Free Search
- Synthesizing constraint expressions
- New methods to color the vertices of a graph
- On binary constraint problems
- Reasoning about temporal relations
- Backtrack Programming
- Mechanizing Mathematical Reasoning
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
This page was built for publication: Backtracking algorithms for disjunctions of temporal constraints