עקוב אחר
Cesare Tinelli
Cesare Tinelli
Professor of Computer Science, The University of Iowa
כתובת אימייל מאומתת בדומיין uiowa.edu - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Satisfiability modulo theories‏
C Barrett, C Tinelli‏
Handbook of Model Checking, 305-343, 2018‏
21882018
Cvc4‏
C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ...‏
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011‏
21662011
The smt-lib standard: Version 2.0‏
C Barrett, A Stump, C Tinelli‏
Proceedings of the 8th international workshop on satisfiability modulo …, 2010‏
15822010
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‏
12492006
The satisfiability modulo theories library (SMT-LIB). www‏
C Barrett, P Fontaine, C Tinelli‏
SMT-LIB. org 2, 68, 2016‏
8572016
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‏
5322022
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‏
4812004
StarExec: A cross-community infrastructure for logic solving‏
A Stump, G Sutcliffe, C Tinelli‏
International joint conference on automated reasoning, 367-373, 2014‏
2442014
A new correctness proof of the Nelson-Oppen combination procedure‏
C Tinelli, M Harandi‏
Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996‏
2191996
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‏
1782015
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‏
1762014
The Kind 2 Model Checker‏
A Champion, A Mebsout, C Sticksel, C Tinelli‏
International Conference on Computer Aided Verification, 510-517, 2016‏
1552016
Abstract DPLL and abstract DPLL modulo theories‏
R Nieuwenhuis, A Oliveras, C Tinelli‏
International Conference on Logic for Programming Artificial Intelligence …, 2005‏
1552005
The smt-lib standard: Version 1.2‏
S Ranise, C Tinelli‏
Technical report, Department of Computer Science, The University of Iowa …, 2006‏
1542006
Splitting on demand in SAT modulo theories‏
C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli‏
International Conference on Logic for Programming Artificial Intelligence …, 2006‏
1382006
A DPLL-based calculus for ground satisfiability modulo theories‏
C Tinelli‏
European Workshop on Logics in Artificial Intelligence, 308-319, 2002‏
1342002
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‏
1332008
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‏
1302017
The model evolution calculus‏
P Baumgartner, C Tinelli‏
Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003‏
1242003
Satisfiability modulo theories‏
C Barrett, R Sebastiani, SA Seshia, C Tinelli‏
Handbook of satisfiability, 1267-1329, 2021‏
1132021
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20