SiCoTHEO: Simple competitive parallel theorem provers

DOI10.1007/3-540-61511-3_87zbMATH Open1412.68259OpenAlexW1514430395MaRDI QIDQ4647520FDOQ4647520

Authors:

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

Cites Work

• SETHEO: A high-performance theorem prover
• Title not available (Why is that?)
• The TPTP problem library
• SiCoTHEO: Simple competitive parallel theorem provers

Cited In (2)

• SiCoTHEO: Simple competitive parallel theorem provers
• SETHEO goes software engineering: application of ATP to software reuse

Uses Software

• SETHEO
• TPTP
• SicoTHEO

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

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