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

2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Melbourne
International Joint Conferences on Artificial Intelligence
9780999241103
Morettin, Paolo; Passerini, Andrea; Sebastiani, Roberto
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].
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/185360
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 24
  • ???jsp.display-item.citation.isi??? ND
social impact