SNARK

swMATH19611MaRDI QIDQ31436FDOQ31436

Author name not available (Why is that?)

Official website: http://www.ai.sri.com/~stickel/snark.html

Cited In (6)

• 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
• Vivid
• I-SATCHMO
• Octopus
• Proof verification and proof discovery for relativity

This page was built for software: SNARK