Roberto Sebastiani
- Software Model Checking via Large-Block Encoding
2009/04/29 by Dirk Beyer, Beyer, Dirk, Alessandro Cimatti +7 · 3 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
- 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
- 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