SiCoTHEO: Simple competitive parallel theorem provers

DOI10.1007/3-540-61511-3_87zbMath1412.68259OpenAlexW1514430395MaRDI QIDQ4647520

No author found.

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_87

zbMATH Keywords

automated deductiontheorem proverunit clausemodel eliminationsearch mode

Mathematics Subject Classification ID

Related Items (2)

SiCoTHEO: Simple competitive parallel theorem provers ⋮ SETHEO goes software engineering: Application of ATP to software reuse

Uses Software

• SETHEO
• TPTP
• SicoTHEO

Cites Work

• Unnamed Item
• SETHEO: A high-performance theorem prover
• SiCoTHEO: Simple competitive parallel theorem provers
• The TPTP problem library

This page was built for publication: SiCoTHEO: Simple competitive parallel theorem provers