Scavenger 0.1: a theorem prover based on conflict resolution

DOI10.1007/978-3-319-63046-5_21zbMath1494.68287arXiv1704.03275OpenAlexW2608781458MaRDI QIDQ2405260

Bruno Woltzenlogel Paleo, Daniyar Itegulov, John K. Slaney

Publication date: 22 September 2017

Full work available at URL: https://arxiv.org/abs/1704.03275

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (4)

A multi-clause dynamic deduction algorithm based on standard contradiction separation rule ⋮ Contradiction separation based dynamic multi-clause synergized automated deduction ⋮ Scavenger ⋮ Complexity of translations from resolution to sequent calculus

Uses Software

• OTTER
• TPTP
• SCOTT
• Satallax
• StarExec
• iProver

This page was built for publication: Scavenger 0.1: a theorem prover based on conflict resolution