Scavenger

swMATH23945MaRDI QIDQ35706

No author found.

Described by source

• Scavenger 0.1: a theorem prover based on conflict resolution

Related Items (2)

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

This page was built for software: Scavenger