Parallelization of a hyper-linking-based theorem prover
From MaRDI portal
Recommendations
- A parallelized theorem prover for a logic with parallel execution
- A parallel approach for theorem proving in propositional logic
- scientific article; zbMATH DE number 1552517
- scientific article; zbMATH DE number 4047184
- Partheo: A high-performance parallel theorem prover
- scientific article; zbMATH DE number 4164187
- Parallel cooperative propositional theorem proving
- Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures
- Exploiting parallelism: highly competitive semantic tree theorem prover
- Pervasive parallelism in highly-trustable interactive theorem proving systems
Cited in
(11)- A parallelized theorem prover for a logic with parallel execution
- scientific article; zbMATH DE number 743587 (Why is no real title available?)
- Eliminating dublication with the hyper-linking strategy
- Semantically guided first-order theorem proving using hyper-linking
- Exploiting parallelism: highly competitive semantic tree theorem prover
- scientific article; zbMATH DE number 4164187 (Why is no real title available?)
- scientific article; zbMATH DE number 4180829 (Why is no real title available?)
- Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures
- A novel asynchronous parallelism scheme for first-order logic
- PARTHENON: A parallel theorem prover for non-horn clauses
- scientific article; zbMATH DE number 4047184 (Why is no real title available?)
This page was built for publication: Parallelization of a hyper-linking-based theorem prover
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1595925)
