Author:Cesare Tinelli

Publications
An Interactive SMT Tactic in Coq using Abductive Reasoning Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Exploiting parallelism in the ME calculus Tianyi Liang and Cesare Tinelli In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors) EPiC Series in Computing, volume 6