| Cvc4 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ... Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 2016 | 2011 |
| Satisfiability modulo theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018 | 1968 | 2018 |
| The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010 | 1413 | 2010 |
| Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T) R Nieuwenhuis, A Oliveras, C Tinelli Journal of the ACM (JACM) 53 (6), 937-977, 2006 | 1170 | 2006 |
| The satisfiability modulo theories library (SMT-LIB). www C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010 | 736 | 2010 |
| DPLL(T): Fast Decision Procedures H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 459 | 2004 |
| cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 229 | 2022 |
| StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014 | 219 | 2014 |
| A new correctness proof of the Nelson-Oppen combination procedure C Tinelli, M Harandi Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996 | 209 | 1996 |
| A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions T Liang, A Reynolds, C Tinelli, C Barrett, M Deters Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 162 | 2014 |
| Counterexample-guided quantifier instantiation for synthesis in SMT A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 161 | 2015 |
| The smt-lib standard: Version 1.2 S Ranise, C Tinelli Technical report, Department of Computer Science, The University of Iowa …, 2006 | 153 | 2006 |
| Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2005 | 148 | 2005 |
| Scaling up the formal verification of Lustre programs with SMT-based techniques G Hagen, C Tinelli 2008 Formal Methods in Computer-Aided Design, 1-9, 2008 | 133 | 2008 |
| Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006 | 131 | 2006 |
| The Kind 2 Model Checker A Champion, A Mebsout, C Sticksel, C Tinelli International Conference on Computer Aided Verification, 510-517, 2016 | 130 | 2016 |
| A DPLL-based calculus for ground satisfiability modulo theories C Tinelli European Workshop on Logics in Artificial Intelligence, 308-319, 2002 | 130 | 2002 |
| The model evolution calculus P Baumgartner, C Tinelli Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003 | 121 | 2003 |
| Unions of non-disjoint theories and combinations of satisfiability procedures C Tinelli, C Ringeissen Theoretical Computer Science 290 (1), 291-353, 2003 | 108 | 2003 |
| SMTCoq: A plug-in for integrating SMT solvers into Coq B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 98 | 2017 |
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
