Carregant...
Carregant...

Vés al contingut (premeu Retorn)

6 years of SMT-COMP

Autor
Barrett, C.; Deters, M.; Moura, L.; Oliveras, A.; Stump, A.
Tipus d'activitat
Article en revista
Revista
Journal of automated reasoning
Data de publicació
2013-03-01
Volum
50
Número
3
Pàgina inicial
243
Pàgina final
277
DOI
https://doi.org/10.1007/s10817-012-9246-5 Obrir en finestra nova
Paraules clau
Competition, Experimental evaluation, SAT Modulo Theories
Grup de recerca
LOGPROG - Lògica i Programació

Participants

  • Barrett, Clark  (autor)
  • Deters, Morgan  (autor)
  • Moura, Leonardo de  (autor)
  • Oliveras Llunell, Albert  (autor)
  • Stump, Aaron  (autor)