Enhancing SMT-based Weighted Model Integration by structure awareness / Spallitta, G.; Masina, G.; Morettin, P.; Passerini, A.; Sebastiani, R.. - In: ARTIFICIAL INTELLIGENCE. - ISSN 0004-3702. - 328:(2024). [10.1016/j.artint.2024.104067]
Enhancing SMT-based Weighted Model Integration by structure awareness
Spallitta G.
;Masina G.;Morettin P.;Passerini A.;Sebastiani R.
2024-01-01
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