SNARK

MaRDI QIDQ31436swMATHFDO

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