×

SMT-LIB

swMATH ID: 4103
Software Authors: Barrett, Clark; de Moura, Leonardo; Ranise, Silvio; Stump, Aaron; Tinelli, Cesare
Description: SMT-LIB was created with the expectation that the availability of common standards and a library of benchmarks would greatly facilitate the evaluation and the comparison of SMT systems, and advance the state of the art in the field in the same way as, for instance, the TPTP library has done for theorem proving, or the SATLIB library has done initially for SAT.
Homepage: http://www.smt-lib.org/
Related Software: z3; CVC4; Yices; TPTP; MiniSat; Isabelle/HOL; VAMPIRE; cvc3; SIMPLIFY; MathSAT5; Coq; E Theorem Prover; Sledgehammer; veriT; Boolector; Chaff; StarExec; Boogie; CVC Lite; HOL Light
Cited in: 196 Publications
all top 5

Cited by 416 Authors

16 Barrett, Clark W.
14 Tinelli, Cesare
13 Voronkov, Andrei
11 Reynolds, Andrew
10 Kovács, Laura Ildikó
8 Blanchette, Jasmin Christian
8 de Moura, Leonardo
7 Böhme, Sascha
7 Ghilardi, Silvio
5 Ábrahám, Erika
5 Biere, Armin
5 Ranise, Silvio
5 Stump, Aaron
5 Zohar, Yoni
4 Barbosa, Haniel
4 Bofill, Miquel
4 Cimatti, Alessandro
4 Davenport, James Harold
4 England, Matthew
4 Fontaine, Pascal
4 Ganesh, Vijay
4 Griggio, Alberto
4 Hozzová, Petra
4 King, Tim
4 Kremer, Gereon
4 Niemetz, Aina
4 Oliveras, Albert
4 Preiner, Mathias
4 Reger, Giles
4 Sebastiani, Roberto
4 Sharygina, Natasha
4 Sturm, Thomas
4 Suda, Martin
4 Villaret, Mateu
3 Alberti, Francesco
3 Ansótegui, Carlos
3 Baumgartner, Peter
3 Cruanes, Simon
3 Fleury, Mathias
3 Jonáš, Martin
3 König, Barbara
3 Monniaux, David P.
3 Moskal, Michał
3 Nolte, Dennis
3 Peltier, Nicolas
3 Qadeer, Shaz
3 Robillard, Simon
3 Rodríguez-Carbonell, Enric
3 Schoisswohl, Johannes
3 Sutcliffe, Geoff
3 Suy, Josep
3 Trentin, Patrick
3 Weber, Tjark
2 Anai, Hirokazu
2 Arai, Noriko H.
2 Berzish, Murphy
2 Bjørner, Nikolaj S.
2 Bobot, François
2 Borralleras, Cristina
2 Bright, Curtis
2 Brummayer, Robert
2 Bruttomesso, Roberto
2 Calimeri, Francesco
2 Claessen, Koen
2 Conchon, Sylvain
2 Cotton, Scott
2 Echenim, Mnacho
2 Faure, Germain
2 Fröhlich, Andreas M.
2 Fuchs, Alexander
2 Fukasaku, Ryoya
2 Goel, Amit
2 Grundy, Jim
2 Gupta, Ashutosh
2 Hajdú, Márton
2 Heinle, Albert
2 Hermanns, Holger
2 Irfan, Ahmed
2 Iwane, Hidenao
2 Johansson, Moa
2 Kanig, Johannes
2 Kobayashi, Munehiro
2 Kotel’nikov, Evgeny A.
2 Kotsireas, Ilias S.
2 Kovásznai, Gergely
2 Kröning, Daniel
2 Krstic, Sava A.
2 Kudo, Jumma
2 Kuncak, Viktor
2 Lahiri, Shuvendu Kumar
2 Leino, K. Rustan M.
2 Lescuyer, Stéphane
2 Maratea, Marco
2 Marić, Filip
2 Matsuzaki, Takuya
2 Nederkorn, Maxime
2 Nieuwenhuis, Robert
2 Nötzli, Andres
2 Ozdemir, Alex
2 Palahí, Miquel
...and 316 more Authors

Citations by Year