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-) Satisfiability modulo theoriesC Barrett, C TinelliHandbook of Model Checking, 305-343, 201821492018
2-) Cvc4C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ...Computer Aided Verification: 23rd International Conference, CAV 2011 …, 201121392011
3-) The smt-lib standard: Version 2.0C Barrett, A Stump, C TinelliProceedings of the 8th international workshop on satisfiability modulo …, 201013942010
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