SPS-parallelism+SETHEO=SPTHEO

DOI10.1023/A:1006127022180zbMATH Open0929.68111OpenAlexW1501430189MaRDI QIDQ1284705FDOQ1284705

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

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

zbMATH Keywords

SETHEOSPTHEO

Mathematics Subject Classification ID

Cited In (5)

• Title not available (Why is that?)
• Octopus: combining learning and parallel search
• Title not available (Why is that?)
• SPTHEO
• Partheo: A high-performance parallel theorem prover

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)