PARTHENON: A parallel theorem prover for non-horn clauses

From MaRDI portal

Publication:1189725

Jump to:navigation, search

DOI10.1007/BF00244281zbMath0759.68079MaRDI QIDQ1189725

David E. Long, Edmund M. Clarke, Soumitra Bose, Spiro Michaylov

Publication date: 27 September 1992

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

zbMATH Keywords

resolution Prolog model elimination or-parallelism

Mathematics Subject Classification ID

Related Items (max. 100)

Octopus: combining learning and parallel search ⋮ PARTHENON

This page was built for publication: PARTHENON: A parallel theorem prover for non-horn clauses

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1189725&oldid=13244183"