Scavenger

swMATH23945MaRDI QIDQ35706FDOQ35706

Author name not available (Why is that?)

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)

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

This page was built for software: Scavenger