Modelling and solving temporal reasoning as propositional satisfiability
From MaRDI portal
Recommendations
Cites work
- \textsf{TSAT++}: an open platform for satisfiability modulo theories
- A Local Search Approach to Modelling and Solving Interval Algebra Problems
- A Sufficient Condition for Backtrack-Free Search
- An empirical study of phase transitions in binary constraint satisfaction problems
- Balance and filtering in structured satisfiable problems. (Preliminary report)
- Complexity and algorithms for reasoning about time
- Consistency in networks of relations
- Efficient solution techniques for disjunctive temporal reasoning problems
- Experimental results on the crossover point in random 3-SAT
- Fast algebraic methods for interval constraint problems
- scientific article; zbMATH DE number 67483 (Why is no real title available?)
- scientific article; zbMATH DE number 1149417 (Why is no real title available?)
- scientific article; zbMATH DE number 1753151 (Why is no real title available?)
- scientific article; zbMATH DE number 2243352 (Why is no real title available?)
- Locating the phase transition in binary constraint satisfaction problems
- Maintaining knowledge about temporal intervals
- Mechanizing Mathematical Reasoning
- Modelling and solving temporal reasoning as propositional satisfiability
- Needed: An Empirical Science of Algorithms
- Reasoning about qualitative temporal information
- Reasoning about temporal relations
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- Synthesizing constraint expressions
- Temporal constraint networks
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
Cited in
(18)- Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
- EvIA -- evidential interval algebra and heuristic backtrack-free algorithm
- Branching interval algebra: an almost complete picture
- Modelling and solving temporal reasoning as propositional satisfiability
- Trends in Temporal Reasoning: Constraints, Graphs and Posets
- Temporal induction by incremental SAT solving
- SAT vs. search for qualitative temporal reasoning
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- Temporal Assertions with Parametrized Propositions
- Resolution for temporal logics of knowledge
- scientific article; zbMATH DE number 708851 (Why is no real title available?)
- Search strategies for resolution in temporal logics
- Qualitative constraint satisfaction problems: an extended framework with landmarks
- Model Theoretic Syntax and Parsing
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
- On prime scenarios in qualitative spatial and temporal reasoning
- Compact solution representation in qualitative constraint-based reasoning
This page was built for publication: Modelling and solving temporal reasoning as propositional satisfiability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389682)
