SNARK - SRI's New Automated Reasoning Kit

Overview

Selected Publications

Some Related Systems

Downloads


Mark E. Stickel (stickel_a_t_ai.sri.com)
2012-08-24