SNARK

swMATH19611MaRDI QIDQ31436FDOQ31436

Author name not available (Why is that?)

Cited In (3)

• Simple and Efficient Clause Subsumption with Feature Vector Indexing
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Proof verification and proof discovery for relativity

This page was built for software: SNARK