Sebastiani, Roberto

12 publications

UAI 2025 A Probabilistic Neuro-Symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani, Andrea Passerini, Antonio Vergari

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

IJCAI 2019 The Pywmi Framework and Toolbox for Probabilistic Inference Using Weighted Model Integration Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt

IJCAI 2017 Efficient Weighted Model Integration via SMT-Based Predicate Abstraction Paolo Morettin, Andrea Passerini, Roberto Sebastiani

JAIR 2011 Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani

JAIR 2009 Automated Reasoning in Modal and Description Logics via SAT Encoding: The Case Study of K(m)/ALC-Satisfiability Roberto Sebastiani, Michele Vescovi

JAIR 2003 A New General Method to Generate Random Modal Formulae for Testing Decision Procedures Peter F. Patel-Schneider, Roberto Sebastiani

AAAI 1998 Act, and the REST Will Follow: Exploiting Determinism in Planning as Satisfiability Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani

AAAI 1996 Computing Abstraction Hierarchies by Numerical Simulation Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh

JAIR 1994 Applying GSAT to Non-Clausal Formulas (Research Note) Roberto Sebastiani