The SMT-LIB Standard: Version 1.2

By Silvio Ranise, Cesare Tinelli. 2005

215 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Swarat Chaudhuri
2. Rishabh Singh
3. Kevin Ellis
4. Oleksandr Polozov
5. Armando Solar-Lezama
6. Clark W. Barrett
7. Yuxin Wang
8. Cesare Tinelli

Citations in the corpus

• Detecting Violations of Differential Privacy (2018, methodology): “5For simplicity, we use a simple representation for constraints; Z3 has an internal format and a user can either use Z3’s APIs or SMT2 [34] format to represent constraints.”
• The SMT-LIB Standard Version 2.0 (2010, background): “This is crucial in providing a simple mechanism for theory combination (see [3] for more details).”
• Neurosymbolic Programming (2021, background): “In all cases, the semantics of the program execution and the spec must be expressible in some SMT theory (Barrett et al., 2010).”
• The TPTP Problem Library and Associated Infrastructure (2009, background): “, [11, 31, 32]), and run competitions analogous to CASC (e.”