Cesare Tinelli

Cesare Tinelli

University of Iowa - Iowa City / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1400962
person_outline Cesare Tinelli's MOST POPULAR ARTICLES
1-) Cvc4 Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
2-) The smt-lib standard: Version 2.0 Proceedings of the 8th international workshop on satisfiability modulo …, 2010
3-) Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T) Journal of the ACM (JACM) 53 (6), 937-977, 2006
4-) Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)R Nieuwenhuis, A Oliveras, C TinelliJournal of the ACM (JACM) 53 (6), 937-977, 200612492006
5-) The satisfiability modulo theories library (SMT-LIB). wwwC Barrett, P Fontaine, C TinelliSMT-LIB. org 2, 68, 20168552016