Modelling and solving temporal reasoning as propositional satisfiability
From MaRDI portal
(Redirected from Publication:2389682)
Recommendations
Cites work
- 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?)
- 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
- 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
- \textsf{TSAT++}: an open platform for satisfiability modulo theories
Cited in
(18)- scientific article; zbMATH DE number 708851 (Why is no real title available?)
- Temporal Assertions with Parametrized Propositions
- Compact solution representation in qualitative constraint-based reasoning
- Modelling and solving temporal reasoning as propositional satisfiability
- Qualitative constraint satisfaction problems: an extended framework with landmarks
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
- Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
- SAT vs. search for qualitative temporal reasoning
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
- Trends in Temporal Reasoning: Constraints, Graphs and Posets
- On prime scenarios in qualitative spatial and temporal reasoning
- Temporal induction by incremental SAT solving
- Branching interval algebra: an almost complete picture
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- Search strategies for resolution in temporal logics
- EvIA -- evidential interval algebra and heuristic backtrack-free algorithm
- Model Theoretic Syntax and Parsing
- Resolution for temporal logics of knowledge
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)
