| Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... International Conference on Computer Aided Verification, 359-364, 2002 | 2157 | 2002 |
| Satisfiability Modulo Theories C Barrett, R Sebastiani, S Seshia, C Tinelli The Handbook of Satisfiability, 2009 | 1400* | 2009 |
| The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013 | 498 | 2013 |
| Reasoning with goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani International Conference on Conceptual Modeling, 167-181, 2002 | 367 | 2002 |
| Lazy satisfiability modulo theories R Sebastiani Journal on Satisfiability, Boolean Modeling and Computation 3 (3-4), 141-224, 2007 | 306 | 2007 |
| Goal-oriented requirements analysis and reasoning in the tropos methodology P Giorgini, J Mylopoulos, R Sebastiani Engineering Applications of Artificial Intelligence 18 (2), 159-171, 2005 | 272 | 2005 |
| The MathSAT 4 SMT Solver R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani International Conference on Computer Aided Verification, 299-303, 2008 | 257 | 2008 |
| Formal reasoning techniques for goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Journal on Data Semantics I, 1-20, 2003 | 234 | 2003 |
| Simple and minimum-cost satisfiability for goal models R Sebastiani, P Giorgini, J Mylopoulos International Conference on Advanced Information Systems Engineering, 20-35, 2004 | 212 | 2004 |
| A SAT based approach for solving formulas over boolean and linear mathematical propositions G Audemard, P Bertoli, A Cimatti, A Korniłowicz, R Sebastiani International Conference on Automated Deduction, 195-210, 2002 | 206 | 2002 |
| Building decision procedures for modal logics from propositional decision procedures—the case study of modal K F Giunchiglia, R Sebastiani International Conference on Automated Deduction, 583-597, 1996 | 171 | 1996 |
| Software model checking via large-block encoding D Beyer, A Cimatti, A Griggio, ME Keremoglu, R Sebastiani 2009 Formal Methods in Computer-Aided Design, 25-32, 2009 | 170 | 2009 |
| Bounded model checking for timed systems G Audemard, A Cimatti, A Kornilowicz, R Sebastiani International Conference on Formal Techniques for Networked and Distributed …, 2002 | 154 | 2002 |
| Verifying industrial hybrid systems with MathSAT G Audemard, M Bozzano, A Cimatti, R Sebastiani Electronic Notes in Theoretical Computer Science 119 (2), 17-32, 2005 | 135 | 2005 |
| OptiMathSAT: A tool for optimization modulo theories R Sebastiani, P Trentin Journal of Automated Reasoning 64 (3), 423-460, 2020 | 113 | 2020 |
| A SAT-based decision procedure for ALC F Giunchiglia, R Sebastiani KR 96, 304-314, 1996 | 111 | 1996 |
| Efficient satisfiability modulo theories via delayed theory combination M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ... International Conference on Computer Aided Verification, 335-349, 2005 | 102 | 2005 |
| Efficient interpolant generation in satisfiability modulo theories A Cimatti, A Griggio, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2008 | 100 | 2008 |
| Satisfiability modulo the theory of costs: Foundations and applications A Cimatti, A Franzén, A Griggio, R Sebastiani, C Stenico International Conference on Tools and Algorithms for the Construction and …, 2010 | 98 | 2010 |
| M ath SAT: Tight Integration of SAT and Mathematical Decision Procedures M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Journal of Automated Reasoning 35 (1), 265-293, 2005 | 97 | 2005 |
