Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Design and results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2007)

Autor
Barrett, C.; Deters, M.; Oliveras, A.; Stump, A.
Tipus d'activitat
Article en revista
Revista
International journal on artificial intelligence tools
Data de publicació
2008-08-01
Volum
17
Número
4
Pàgina inicial
569
Pàgina final
606
DOI
https://doi.org/10.1142/S0218213008004060 Obrir en finestra nova
URL
http://www.worldscinet.com/ijait/17/1704/S0218213008004060.html Obrir en finestra nova
Grup de recerca
LOGPROG - Lògica i Programació

Participants