SPS-parallelism+SETHEO=SPTHEO

DOI10.1023/A:1006127022180MaRDI QIDQ1284705zbMATH OpenOpenAlexFDO

Authors Christian Suttner

Publication date 26 April 1999

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1006127022180

zbMATH Keywords

SETHEOSPTHEO

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1552517
• Partheo: A high-performance parallel theorem prover
• PARTHENON: A parallel theorem prover for non-horn clauses
• scientific article; zbMATH DE number 4164187
• scientific article; zbMATH DE number 4180829

Cited in

(5)

• scientific article; zbMATH DE number 1552517 (Why is no real title available?)
• scientific article; zbMATH DE number 743587 (Why is no real title available?)
• Partheo: A high-performance parallel theorem prover
• Octopus: combining learning and parallel search
• SPTHEO

Describes a project that uses

Uses Software

• SETHEO

This page was built for publication: SPS-parallelism+SETHEO=SPTHEO

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1284705)