Efficient Weighted Model Integration via SMT-Based Predicate Abstraction / Morettin, Paolo; Passerini, Andrea; Sebastiani, Roberto. - (2017), pp. 720-728. (Intervento presentato al convegno IJCAI tenutosi a Melbourne nel August 2017) [10.24963/ijcai.2017/100].
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
Morettin, Paolo;Passerini, Andrea;Sebastiani, Roberto
2017-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
ijcai17.pdf
Solo gestori archivio
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
289.74 kB
Formato
Adobe PDF
|
289.74 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione