scientific article; zbMATH DE number 4180829
From MaRDI portal
Publication:3204066
Recommendations
- PARTHENON: A parallel theorem prover for non-horn clauses
- Partheo: A high-performance parallel theorem prover
- scientific article; zbMATH DE number 4164187
- 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
- Publication:4896506
- Parallelization of a hyper-linking-based theorem prover
- Parallel cooperative propositional theorem proving
- Exploiting parallelism: highly competitive semantic tree theorem prover
Cited in
(15)- A parallelized theorem prover for a logic with parallel execution
- An examination of the prolog technology theorem-prover
- Refinements to depth-first iterative-deepening search in automatic theorem proving
- Exploiting parallelism: highly competitive semantic tree theorem prover
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- scientific article; zbMATH DE number 1552517 (Why is no real title available?)
- PARTHENON
- scientific article; zbMATH DE number 4164187 (Why is no real title available?)
- scientific article; zbMATH DE number 4162312 (Why is no real title available?)
- scientific article; zbMATH DE number 3945374 (Why is no real title available?)
- Partheo: A high-performance parallel theorem prover
- PARTHENON: A parallel theorem prover for non-horn clauses
- scientific article; zbMATH DE number 1926637 (Why is no real title available?)
- A parallel approach for theorem proving in propositional logic
- scientific article; zbMATH DE number 4047184 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204066)
