Scavenger

swMATH23945MaRDI QIDQ35706FDOQ35706

Author name not available (Why is that?)

Described by source

• Scavenger 0.1: a theorem prover based on conflict resolution

Cited In (2)

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

This page was built for software: Scavenger