Scavenger

MaRDI QIDQ35706swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-63046-5_21

Described by source

• Scavenger 0.1: a theorem prover based on conflict resolution

Cited in

(3)

• CERES
• Complexity of translations from resolution to sequent calculus
• Contradiction separation based dynamic multi-clause synergized automated deduction

This page was built for software: Scavenger