Octopus: combining learning and parallel search
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1566502 (Why is no real title available?)
- scientific article; zbMATH DE number 4164187 (Why is no real title available?)
- scientific article; zbMATH DE number 4090850 (Why is no real title available?)
- scientific article; zbMATH DE number 1765690 (Why is no real title available?)
- scientific article; zbMATH DE number 924427 (Why is no real title available?)
- A paradigm for reasoning by analogy
- A taxonomy of parallel strategies for deduction
- Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
- Learning by understanding analogies
- PARTHENON: A parallel theorem prover for non-horn clauses
- SETHEO: A high-performance theorem prover
- SPS-parallelism+SETHEO=SPTHEO
- The TPTP problem library. CNF release v1. 2. 1
- Theorem proving with abstraction
Cited in
(3)
Describes a project that uses
Uses Software
This page was built for publication: Octopus: combining learning and parallel search
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861370)