Publications (18)
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Patrick Trentin, Roberto Sebastiani
Software Model Checking via Large-Block Encoding
Dirk Beyer, Alessandro Cimatti, Alberto Griggio +2
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan +2
Optimization in SMT with LA(Q) Cost Functions
Roberto Sebastiani, Silvia Tomasi
Requirements Evolution and Evolution Requirements with Constrained Goal Models
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini +1
Satisfiability Modulo Transcendental Functions via Incremental Linearization
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan +2
Multi-Object Reasoning with Constrained Goal Models
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini +1
Hybrid SRL with Optimization Modulo Theories
Stefano Teso, Roberto Sebastiani, Andrea Passerini
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results
Zhengbing Bian, Fabian Chudak, William Macready +3
Optimization Modulo Theories with Linear Rational Costs
Roberto Sebastiani, Silvia Tomasi
OpenMath and SMT-LIB
James H. Davenport, Matthew England, Roberto Sebastiani +1
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability
Roberto Sebastiani, Michele Vescovi
Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
Roberto Sebastiani, Patrick Trentin
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
Structured Learning Modulo Theories
Stefano Teso, Roberto Sebastiani, Andrea Passerini
On Optimization Modulo Theories, MaxSMT and Sorting Networks
Roberto Sebastiani, Patrick Trentin