The following pages link to Roberto Sebastiani (Q511776):
Displaying 24 items.
- Interpolant Generation for UTVPI (Q5191101) (← links)
- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (Q5194955) (← links)
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)
- A new method for testing decision procedures in modal logics (Q5234709) (← links)
- Computer Aided Verification (Q5312902) (← links)
- The MathSAT5 SMT Solver (Q5326318) (← links)
- A Modular Approach to MaxSAT Modulo Theories (Q5326459) (← links)
- Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis (Q5387917) (← links)
- To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in $\mathit{SMT}(\mathcal{EUF} \cup \mathcal{T})$ (Q5387920) (← links)
- Efficient Interpolant Generation in Satisfiability Modulo Theories (Q5458340) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703769) (← links)
- Computer Aided Verification (Q5716575) (← links)
- Computer Aided Verification (Q5716576) (← links)
- Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ $\mathcal{ALC}$ (Q5756583) (← links)
- Property-Driven Partitioning for Abstraction Refinement (Q5758119) (← links)
- Efficient interpolant generation in satisfiability modulo linear integer arithmetic (Q5891705) (← links)
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (Q5892495) (← links)
- Correct Hardware Design and Verification Methods (Q5897061) (← links)
- Journal on Data Semantics I (Q5897293) (← links)
- Formal Methods for Hardware Verification (Q5899156) (← links)
- Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test (Q6160909) (← links)
- Enhancing SMT-based weighted model integration by structure awareness (Q6494358) (← links)
- On CNF conversion for disjoint SAT enumeration (Q6643091) (← links)
- On enumerating short projected models (Q6657245) (← links)
