SAT-based planning in complex domains: Concurrency, constraints and nondeterminism (Q814472): Difference between revisions

@@ Property / cites work @@
+Conformant planning via symbolic model checking and heuristic search
+Normal rank
@@ Property / cites work @@
+Analysis on the <i>p</i>-adic superspace. I. Generalized functions: Gaussian distribution
+Normal rank
@@ Property / cites work @@
+Q4527271
@@ Property / cites work: Q4527271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551177
@@ Property / cites work: Q4551177 / rank @@
+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 @@
+Q2723426
@@ Property / cites work: Q2723426 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action: indeterminacy and ramifications
+Normal rank
@@ Property / cites work @@
+SAT-based decision procedures for classical modal logics
+Normal rank
@@ Property / cites work @@
+Q4539619
@@ Property / cites work: Q4539619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954178
@@ Property / cites work: Q4954178 / rank @@
+Normal rank
@@ Property / cites work @@
+Frames in the space of situations
@@ Property / cites work: Frames in the space of situations / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of causal explanation
@@ Property / cites work: On the logic of causal explanation / rank @@
+Normal rank
@@ Property / cites work @@
+State Constraints Revisited
@@ Property / cites work: State Constraints Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4242054
@@ Property / cites work: Q4242054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856120
@@ Property / cites work: Q3856120 / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae
+Normal rank
@@ Property / cites work @@
+Q2754108
@@ Property / cites work: Q2754108 / rank @@
+Normal rank
@@ Property / cites work @@
+SATO: An efficient propositional prover
@@ Property / cites work: SATO: An efficient propositional prover / rank @@
+Normal rank