Sebastiani, Roberto

1. Software Model Checking via Large-Block Encoding
   2009/04/29 by Dirk Beyer, Beyer, Dirk, Alessandro Cimatti +7 · 4 citations
   Computer Science · #D.2.4 #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
2. Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results
   2018/11/06 by Bian, Zhengbing, Chudak, Fabian, Macready, William +3 · 2 citations
   #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
3. Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding
   2023/10/26 by Jingwen Ding, Ding, Jingwen, Giuseppe Spallitta +3 · 3 citations
   Computer Science · #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Quantum-Dot Cellular Automata
4. Optimization Modulo Theories with Linear Rational Costs
   2014/10/22 by Sebastiani, Roberto, Tomasi, Silvia · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
5. On Optimization Modulo Theories, MaxSMT and Sorting Networks
   2017/02/08 by Sebastiani, Roberto, Trentin, Patrick · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
6. SMT-based Weighted Model Integration with Structure Awareness
   2022/06/28 by Giuseppe Spallitta, Spallitta, Giuseppe, Gabriele Masina +7 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies
7. Optimization in SMT with LA(Q) Cost Functions
   2012/02/07 by Roberto Sebastiani, Sebastiani, Roberto, Silvia Tomasi +1 · 2 citations
   Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Scheduling and Optimization Algorithms
8. A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
   2025/03/25 by Kurscheidt, Leander, Morettin, Paolo, Sebastiani, Roberto +2 · 2 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG)