Home Intro Tools Specs Thanks SMT-LIB Previous

SMT-COMP 2011

The 2011 edition of the Satisfiability Modulo Theories Competition (SMT-COMP) is a satellite event of CAV 2011 (July 14 - 20, 2011, Snowbird, Utah).

The organizers of SMT-COMP 2011 are Roberto Bruttomesso, Morgan Deters, and Alberto Griggio.

Home Intro Tools Specs Thanks SMT-LIB Previous

Last modified: Fri 27 Jan 2012 02:03 UTC
Valid XHTML 1.0 Valid CSS!