Solving strong controllability of temporal problems with uncertainty using SMT (Q2342602): Difference between revisions

@@ Property / DOI @@
-.1007/s10601-014-9167-5
@@ Property / DOI: 10.1007/s10601-014-9167-5 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-014-9167-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2079572428
@@ Property / OpenAlex ID: W2079572428 / 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 @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Remote Agent: to boldly go where no AI system has gone before
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Solving strong controllability of temporal problems with uncertainty using SMT
+Normal rank
@@ Property / cites work @@
+Fast and Flexible Difference Constraint Propagation for DPLL(T)
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solution techniques for disjunctive temporal reasoning problems
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A Quantifier Elimination Algorithm for Linear Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Handling contingency in temporal constraint networks: from consistency to controllabilities
+Normal rank
@@ Property / cites work @@
+Strong Controllability of Disjunctive Temporal Problems with Uncertainty
+Normal rank
@@ Property / cites work @@
+Computing All-Pairs Shortest Paths by Leveraging Low Treewidth
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ Property / cites work @@
+A LIBRARY FOR DOING POLYHEDRAL OPERATIONS
@@ Property / cites work: A LIBRARY FOR DOING POLYHEDRAL OPERATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing the number of clauses by renaming
@@ Property / cites work: Minimizing the number of clauses by renaming / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10601-014-9167-5
@@ Property / DOI: 10.1007/S10601-014-9167-5 / rank @@
+Normal rank