Masina, Gabriele
Masina, Gabriele
Ingegneria e scienza dell'Informaz (29/10/12-)
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.011 secondi).
Canonical Decision Diagrams Modulo Theories
2024-01-01 Michelutti, Massimo; Masina, Gabriele; Spallitta, Giuseppe; Sebastiani, Roberto
Enhancing SMT-based Weighted Model Integration by structure awareness
2024-01-01 Spallitta, G.; Masina, G.; Morettin, P.; Passerini, A.; Sebastiani, R.
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
2026-01-01 Masina, Gabriele; Sebastiani, Roberto
On CNF Conversion for Disjoint SAT Enumeration
2023-01-01 Masina, Gabriele; Spallitta, Giuseppe; Sebastiani, Roberto
On CNF Conversion for SAT and SMT Enumeration
2025-01-01 Masina, Gabriele; Spallitta, Giuseppe; Sebastiani, Roberto
SMT-based Weighted Model Integration with Structure Awareness
2022-01-01 Spallitta, Giuseppe; Masina, Gabriele; Morettin, Paolo; Passerini, Andrea; Sebastiani, Roberto