Modelling and solving temporal reasoning as propositional satisfiability (Q2389682): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2008.06.003
@@ Property / DOI: 10.1016/j.artint.2008.06.003 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TSAT++
@@ Property / describes a project that uses: TSAT++ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2145603219
@@ Property / OpenAlex ID: W2145603219 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848055
@@ Property / cites work: Q2848055 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental results on the crossover point in random 3-SAT
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715661
@@ Property / cites work: Q5715661 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing constraint expressions
@@ Property / cites work: Synthesizing constraint expressions / rank @@
+Normal rank
@@ Property / cites work @@
+A Sufficient Condition for Backtrack-Free Search
@@ Property / cites work: A Sufficient Condition for Backtrack-Free Search / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and algorithms for reasoning about time
+Normal rank
@@ Property / cites work @@
+Needed: An Empirical Science of Algorithms
@@ Property / cites work: Needed: An Empirical Science of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741510
@@ Property / cites work: Q2741510 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast algebraic methods for interval constraint problems
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling and solving temporal reasoning as propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical study of phase transitions in binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q4533361
@@ Property / cites work: Q4533361 / rank @@
+Normal rank
@@ Property / cites work @@
+Locating the phase transition in binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+A Local Search Approach to Modelling and Solving Interval Algebra Problems
+Normal rank
@@ Property / cites work @@
+Efficient solution techniques for disjunctive temporal reasoning problems
+Normal rank
@@ Property / cites work @@
+Reasoning about qualitative temporal information
@@ Property / cites work: Reasoning about qualitative temporal information / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386938
@@ Property / cites work: Q4386938 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2008.06.003
@@ Property / DOI: 10.1016/J.ARTINT.2008.06.003 / rank @@
+Normal rank