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 all top 5 Cited in 36 Serials 16 Journal of Automated Reasoning 7 Formal Methods in System Design 5 Journal of Symbolic Computation 4 Constraints 4 Logical Methods in Computer Science 3 Science of Computer Programming 3 The Journal of Artificial Intelligence Research (JAIR) 2 Artificial Intelligence 2 Formal Aspects of Computing 2 Mathematics in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Discrete Applied Mathematics 1 ACM Transactions on Mathematical Software 1 Fuzzy Sets and Systems 1 Information Sciences 1 Theoretical Computer Science 1 AI Communications 1 YUJOR. Yugoslav Journal of Operations Research 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Heuristics 1 Theory of Computing Systems 1 Journal of Combinatorial Optimization 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 Journal of Applied Mathematics 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Scientific Annals of Computer Science 1 ACM Communications in Computer Algebra 1 Acta Universitatis Sapientiae. Informatica 1 Science China. Information Sciences 1 Frontiers of Computer Science 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Cited in 20 Fields 186 Computer science (68-XX) 52 Mathematical logic and foundations (03-XX) 10 Operations research, mathematical programming (90-XX) 5 Combinatorics (05-XX) 2 General and overarching topics; collections (00-XX) 2 Numerical analysis (65-XX) 2 Biology and other natural sciences (92-XX) 2 Mathematics education (97-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year