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
• 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
• The 9th IJCAR automated theorem proving system competition -- CASC-J9

This page was built for software: nanoCoP