Home Intro Tools Specs Thanks SMT-LIB Previous

SMT-COMP 2012

The 2012 edition of the Satisfiability Modulo Theories Competition (SMT-COMP) is part of the SMT workshop at IJCAR 2012 (June 30 - July 1, 2012, Manchester, UK). The SMT workshop will include a block of time to present the competitors and results of the SMTCOMP competition.

The organizers of SMT-COMP 2012 are Roberto Bruttomesso, David Cok, and Alberto Griggio.

Home Intro Tools Specs Thanks SMT-LIB Previous

Last modified: Mon 27 Aug 2012 16:49 UTC
Valid XHTML 1.0 Valid CSS!