A high-performance parallel theorem prover

DOI10.1007/3-540-52885-7_124zbMath1509.68302DBLPconf/cade/ButlerFJO90WikidataQ58102608 ScholiaQ58102608MaRDI QIDQ6488572

Ross A. Overbeek, Ian T. Foster, Ralph M. Butler, Unnamed Author

Publication date: 28 April 2023

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A high-performance parallel theorem prover