Seuraa
Cesare Tinelli
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Vahvistettu sähköpostiosoite verkkotunnuksessa uiowa.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
CVC3: (Tool Paper)
C Barrett, C Tinelli
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
1940*2007
Satisfiability modulo theories
C Barrett, R Sebastiani, SA Seshia, C Tinelli
Handbook of satisfiability 185, 825-885, 2009
1907*2009
Satisfiability modulo theories
C Barrett, C Tinelli
Handbook of Model Checking, 305-343, 2018
18452018
The smt-lib standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th international workshop on satisfiability modulo …, 2010
13292010
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
11372006
The satisfiability modulo theories library (SMT-LIB). www
C Barrett, A Stump, C Tinelli
SMT-LIB. org 15, 18-52, 2010
6892010
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
4552004
A new correctness proof of the Nelson-Oppen combination procedure
C Tinelli, M Harandi
Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996
2101996
StarExec: A cross-community infrastructure for logic solving
A Stump, G Sutcliffe, C Tinelli
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014
2092014
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
1552014
The smt-lib standard: Version 1.2
S Ranise, C Tinelli
Technical report, Department of Computer Science, The University of Iowa …, 2006
1532006
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
1492015
Abstract DPLL and abstract DPLL modulo theories
R Nieuwenhuis, A Oliveras, C Tinelli
Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005
1472005
Splitting on demand in SAT modulo theories
C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli
Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006
1292006
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
1282008
A DPLL-based calculus for ground satisfiability modulo theories
C Tinelli
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
1252002
The model evolution calculus
P Baumgartner, C Tinelli
CADE 2741, 350-364, 2003
1182003
The Kind 2 Model Checker
A Champion, A Mebsout, C Sticksel, C Tinelli
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
1172016
cvc5: A versatile and industrial-strength SMT solver
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ...
Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022
1142022
Unions of non-disjoint theories and combinations of satisfiability procedures
C Tinelli, C Ringeissen
Theoretical Computer Science 290 (1), 291-353, 2003
1122003
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20