Peers-mcd

swMATH23958MaRDI QIDQ35719FDOQ35719

Author name not available (Why is that?)

Cited In (4)

• A Wos Challenge Met
• Set of support, demodulation, paramodulation: a historical perspective
• The Clause-Diffusion theorem prover Peers-mcd (system description)
• Octopus: combining learning and parallel search

This page was built for software: Peers-mcd