nanoCoP

swMATH21547MaRDI QIDQ33354FDOQ33354

Author name not available (Why is that?)

Described by source

• nanoCoP: A Non-clausal Connection Prover

Cited In (7)

• A neurally-guided, parallel theorem prover
• Certification of nonclausal connection tableaux proofs
• The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9
• Eliminating models during model elimination
• The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
• Machine learning guidance for connection tableaux
• Monte Carlo tableau proof search

This page was built for software: nanoCoP