Publications
A Guide to SNARK
May, 2000
Journal
SRIPublication
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:
Computing
Divisions:
Information + Computing Sciences
Centers + Labs:
Artificial Intelligence Center 
