Publications

A Guide to SNARK

May, 2000
Journal
SRIPublication
May, 2000 By Mark E. Stickel, Richard J. Waldinger & Vinay K. Chaudhri

Abstract

Snark, SRI's New Automated Reasoning Kit, is a theorem prover intended for applications in arti cial intelligence and software engineering. Snark is geared toward dealing with large sets of assertions; it can be specialized with strategic controls that tune its performance; and it has facilities for integrating special-purpose reasoning procedures with general-purpose inference.

Focus Areas: