Cesare Tinelli
Professor
The University of Iowa
United StatesResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Professor Cesare Tinelli is a faculty member at The University of Iowa, USA. His research primarily focuses on quantified bit-vector constraints, satisfiability modulo parametric bit-vectors, and symbolic computation. Through his recent articles, he contributes to advancements in satisfiability checking and related computational methods.
Articles (3)
Year:
2021
Year:
2021
Year:
2020
Collaborators (3)
Aina Niemetz
Stanford University
UNITED STATES
Clark Barrett
Professor (Research)
Stanford University
UNITED STATES
Mathias Preiner
Stanford University
UNITED STATES
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.