×

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; Sledgehammer; E Theorem Prover; veriT; Boolector; Chaff; Boogie; CVC Lite; HOL Light; StarExec
Cited in: 195 Publications
all top 5

Cited by 413 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 313 more Authors

Citations by Year