Masina, Gabriele

2 publications

JAIR 2025 On CNF Conversion for SAT and SMT Enumeration Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

UAI 2022 SMT-Based Weighted Model Integration with Structure Awareness Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani