Cesare Tinelli

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Syntax-Guided Quantifier Instantiation

Aina Niemetz and others (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer

Satisfiability Modulo Theories

Clark Barrett and others (2018) · Springer Nature

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq

Burak Ekici and others (2017) · Computer Aided Verification · Springer International Publishing

A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors

Liana Hadarean and others (2014) · Lecture notes in computer science · Springer Science+Business Media

The SMT-LIB standard: Version 2.0

Clark Barrett and others (2010) · Proceedings of the 8th international workshop on satisfiability modulo theories (Edinburgh, England)