×

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; Isabelle/HOL; VAMPIRE; TPTP; MiniSat; cvc3; MathSAT5; Coq; SIMPLIFY; E Theorem Prover; Boolector; Sledgehammer; StarExec; Chaff; veriT; SMT-RAT; QEPCAD; Boogie
Cited in: 227 Documents
all top 5

Cited by 482 Authors

19 Barrett, Clark W.
16 Tinelli, Cesare
15 Voronkov, Andrei
14 Kovács, Laura Ildikó
13 Reynolds, Andrew
8 Blanchette, Jasmin Christian
8 de Moura, Leonardo
7 Ábrahám, Erika
7 Böhme, Sascha
7 England, Matthew
7 Ghilardi, Silvio
6 Barbosa, Haniel
6 Griggio, Alberto
6 Hozzová, Petra
5 Biere, Armin
5 Cimatti, Alessandro
5 Davenport, James Harold
5 Niemetz, Aina
5 Preiner, Mathias
5 Ranise, Silvio
5 Reger, Giles
5 Sebastiani, Roberto
5 Stump, Aaron
5 Suda, Martin
5 Zohar, Yoni
4 Bofill, Miquel
4 Brown, Christopher W.
4 Fontaine, Pascal
4 Ganesh, Vijay
4 King, Tim
4 Kremer, Gereon
4 Nötzli, Andres
4 Oliveras, Albert
4 Sharygina, Natasha
4 Sturm, Thomas
4 Villaret, Mateu
3 Alberti, Francesco
3 Ansótegui, Carlos
3 Baumgartner, Peter
3 Cruanes, Simon
3 Fleury, Mathias
3 Gleiss, Bernhard
3 Hajdú, Márton
3 Irfan, Ahmed
3 Johansson, Moa
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 De Angelis, Emanuele
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 Heinle, Albert
2 Hermanns, Holger
2 Itzhaky, Shachar
2 Iwane, Hidenao
2 Jovanović, Dejan
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 Kulczynski, Mitja
2 Kuncak, Viktor
2 Lahiri, Shuvendu Kumar
2 Leino, K. Rustan M.
2 Lescuyer, Stéphane
2 Mann, Makai
...and 382 more Authors

Citations by Year