Broadening the Scope of SMT-COMP: the Application Track / Bruttomesso, Roberto; Griggio, Alberto. - 873:(2012). (Intervento presentato al convegno 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems tenutosi a Manchester, UK nel 30/06/2012).

Broadening the Scope of SMT-COMP: the Application Track

Alberto Griggio
2012-01-01

2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems
Vladimir Klebanov and Bernhard Beckert and Armin Biere and Geoff Sutcliffe
Online
CEUR Workshop Proceedings
Bruttomesso, Roberto; Griggio, Alberto
Broadening the Scope of SMT-COMP: the Application Track / Bruttomesso, Roberto; Griggio, Alberto. - 873:(2012). (Intervento presentato al convegno 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems tenutosi a Manchester, UK nel 30/06/2012).
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/343090
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact