Spallitta, Giuseppe

3 publications

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

AAAI 2024 Disjoint Partial Enumeration Without Blocking Clauses Giuseppe Spallitta, Roberto Sebastiani, Armin Biere

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