Cesare Tinelli's Publications

Silvio Ranise and Cesare Tinelli. The SMT-LIB Standard: Version 1.2. Technical Report, 2006.

Abstract. The SMT-LIB initiative is an international effort, coordinated by these authors and supported by several research groups world-wide, with the main goal of producing an extensive on-line library of benchmarks for Satisfiability Modulo Theories. This paper defines syntax and semantics of the language used by SMT-LIB for writing theory specifications and benchmarks.