Spallitta, Giuseppe
Spallitta, Giuseppe
Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
2026-01-01 Civini, Emanuele; Masina, Gabriele; Spallitta, Giuseppe; Sebastiani, Roberto
Canonical Decision Diagrams Modulo Theories
2024-01-01 Michelutti, Massimo; Masina, Gabriele; Spallitta, Giuseppe; Sebastiani, Roberto
d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries
2026-01-01 Masina, Gabriele; Civini, Emanuele; Michelutti, Massimo; Spallitta, Giuseppe; Sebastiani, Roberto
Disjoint Partial Enumeration without Blocking Clauses
2024-01-01 Spallitta, Giuseppe; Sebastiani, Roberto; Biere, Armin
Disjoint projected enumeration for SAT and SMT without blocking clauses
2025-01-01 Spallitta, Giuseppe; Sebastiani, Roberto; Biere, Armin
Effective prime factorization via quantum annealing by modular locally-structured embedding
2024-01-01 Ding, Jingwen; Spallitta, Giuseppe; Sebastiani, Roberto
Efficient and Effective Model Enumeration in SAT and SMT: Investigating Novel Procedures and Applications
2025-01-28 Spallitta, Giuseppe
Enhancing SMT-based Weighted Model Integration by structure awareness
2024-01-01 Spallitta, G.; Masina, G.; Morettin, P.; Passerini, A.; Sebastiani, R.
Enumerating Disjoint Partial Models without Blocking Clauses
2023-01-01 Spallitta, Giuseppe; Biere, Armin; Sebastiani, Roberto
Experimenting with D-Wave quantum annealers on prime factorization problems
2024-01-01 Ding, J.; Spallitta, G.; Sebastiani, R.
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