Octopus: combining learning and parallel search (Q861370): Difference between revisions

@@ Property / cites work @@
+Q2701741
@@ Property / cites work: Q2701741 / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with abstraction
@@ Property / cites work: Theorem proving with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+A paradigm for reasoning by analogy
@@ Property / cites work: A paradigm for reasoning by analogy / rank @@
+Normal rank
@@ Property / cites work @@
+Learning by understanding analogies
@@ Property / cites work: Learning by understanding analogies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817655
@@ Property / cites work: Q3817655 / rank @@
+Normal rank
@@ Property / cites work @@
+A taxonomy of parallel strategies for deduction
@@ Property / cites work: A taxonomy of parallel strategies for deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
+Normal rank
@@ Property / cites work @@
+Q4539630
@@ Property / cites work: Q4539630 / rank @@
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3491009
@@ Property / cites work: Q3491009 / rank @@
+Normal rank
@@ Property / cites work @@
+PARTHENON: A parallel theorem prover for non-horn clauses
+Normal rank
@@ Property / cites work @@
+SPS-parallelism+SETHEO=SPTHEO
@@ Property / cites work: SPS-parallelism+SETHEO=SPTHEO / rank @@
+Normal rank
@@ Property / cites work @@
+Q4891458
@@ Property / cites work: Q4891458 / rank @@
+Normal rank