Cesare Tinelli
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Bestätigte E-Mail-Adresse bei uiowa.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Satisfiability modulo theories
C Barrett, R Sebastiani, SA Seshia, C Tinelli
Handbook of satisfiability 185, 825-885, 2009
1266*2009
Satisfiability modulo theories
C Barrett, C Tinelli
Handbook of Model Checking, 305-343, 2018
12022018
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
9512006
The smt-lib standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th international workshop on satisfiability modulo …, 2010
9502010
Cvc4
C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ...
International Conference on Computer Aided Verification, 171-177, 2011
9342011
Cvc3
C Barrett, C Tinelli
International Conference on Computer Aided Verification, 298-302, 2007
6012007
The satisfiability modulo theories library (SMT-LIB). www
C Barrett, A Stump, C Tinelli
SMT-LIB. org 15, 18-52, 2010
4852010
DPLL(T): Fast Decision Procedures
H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli
International Conference on Computer Aided Verification, 175-188, 2004
4032004
A new correctness proof of the Nelson-Oppen combination procedure
C Tinelli, M Harandi
Frontiers of Combining Systems, 103-119, 1996
1931996
StarExec: A cross-community infrastructure for logic solving
A Stump, G Sutcliffe, C Tinelli
International joint conference on automated reasoning, 367-373, 2014
1432014
The smt-lib standard: Version 1.2
S Ranise, C Tinelli
Technical report, Department of Computer Science, The University of Iowa …, 2006
1422006
Abstract DPLL and abstract DPLL modulo theories
R Nieuwenhuis, A Oliveras, C Tinelli
International Conference on Logic for Programming Artificial Intelligence …, 2005
1342005
Splitting on demand in SAT modulo theories
C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli
International Conference on Logic for Programming Artificial Intelligence …, 2006
1192006
A DPLL (T) theory solver for a theory of strings and regular expressions
T Liang, A Reynolds, C Tinelli, C Barrett, M Deters
International Conference on Computer Aided Verification, 646-662, 2014
1172014
The model evolution calculus
P Baumgartner, C Tinelli
International Conference on Automated Deduction, 350-364, 2003
1162003
A DPLL-based calculus for ground satisfiability modulo theories
C Tinelli
European Workshop on Logics in Artificial Intelligence, 308-319, 2002
1142002
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
1052008
Counterexample-guided quantifier instantiation for synthesis in SMT
A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett
International Conference on Computer Aided Verification, 198-216, 2015
992015
Unions of non-disjoint theories and combinations of satisfiability procedures
C Tinelli, C Ringeissen
Theoretical Computer Science 290 (1), 291-353, 2003
982003
Solving quantified verification conditions using satisfiability modulo theories
Y Ge, C Barrett, C Tinelli
International Conference on Automated Deduction, 167-182, 2007
892007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20