Boolector swMATH ID: 85 Software Authors: Brummayer, Robert; Biere, Armin Description: Boolector: an efficient SMT solver for bit-vectors and arrays. Satisfiability Modulo Theories (SMT) is the problem of deciding satisfiability of a logical formula, expressed in a combination of first-order theories. We present the architecture and selected features of Boolector, which is an efficient SMT solver for the quantifier-free theories of bit-vectors and arrays. It uses term rewriting, bit-blasting to handle bit-vectors, and lemmas on demand for arrays. Homepage: http://fmv.jku.at/boolector/ Related Software: z3; Yices; SMT-LIB; CVC4; STP; MiniSat; MathSAT5; MathSAT; Chaff; SIMPLIFY; cvc3; Beaver; CBMC; BtorMC; PicoSAT; KLEE; DART; CUTE; OptiMathSAT; SMTInterpol Cited in: 33 Publications Further Publications: http://fmv.jku.at/papers/index.html all top 5 Cited by 95 Authors 4 Barrett, Clark W. 4 Biere, Armin 3 Jovanović, Dejan 2 Chakraborty, Supratik 2 de Moura, Leonardo 2 Heljanko, Keijo 2 Kröning, Daniel 2 Sebastiani, Roberto 2 Sun, Jiaguang 2 Tinelli, Cesare 2 Trentin, Patrick 2 Wintersteiger, Christoph M. 2 Zhou, Min 1 Asăvoae, Irina Măriuca 1 Baranowski, Marek 1 Bardin, Sébastien 1 Bienmüller, Tom 1 Bjørner, Nikolaj S. 1 Bobot, François 1 Brain, Martin 1 Brown, Kristopher 1 Bueno, Denis 1 Cheng, Xi 1 Chhatani, Dinesh 1 Chihani, Zakaria 1 Donovick, Caleb 1 Drechsler, Rolf 1 Dubrovin, Jori 1 Dutertre, Bruno 1 Fröhlich, Andreas M. 1 Gajavelly, Rajkumar 1 Ge, Cunjing 1 Graham-Lengrand, Stéphane 1 Gu, Ming 1 Guman, Allison 1 Gupta, Ashutosh 1 Haldankar, Tanmay 1 Hamadi, Youssef 1 He, Fei 1 He, Shaobo 1 Heule, Marijn J. H. 1 Inala, Jeevana Priya 1 Irfan, Ahmed 1 Jain, Rahul 1 Janičić, Predrag 1 Järvisalo, Matti 1 Jonáš, Martin 1 Junttila, Tommi A. 1 Kaufmann, Daniela 1 Khasidashvili, Zurab O. 1 Knoop, Jens 1 Kovács, Laura Ildikó 1 Kovásznai, Gergely 1 Kugler, Hillel 1 Lechner, Mathias 1 Liu, Tian 1 Ma, Feifei 1 Ma, Xutong 1 Mann, Makai 1 Marić, Filip 1 Marre, Bruno 1 Martins, Ruben 1 Mistry, Rakesh 1 Niemetz, Aina 1 Niewiadomski, Artur 1 Penczek, Wojciech 1 Preiner, Mathias 1 Rakamarić, Zvonimir 1 Riesco, Adrián 1 Rümmer, Philipp 1 Saarikivi, Olli 1 Sakallah, Karem A. 1 Schrammel, Peter 1 Seger, Carl-Johan H. 1 Shirazi, Ramtine Tofighi 1 Sidoruk, Teofil 1 Singh, Rohit R. 1 Soeken, Mathias 1 Solar-Lezama, Armando 1 Song, Xiaoyu 1 Strejček, Jan 1 Strichman, Ofer 1 Stuntz, Lindsey 1 Surynek, Pavel 1 Switalski, Piotr 1 Teige, Tino 1 Thanh Son Nguyen 1 Wang, Bow-Yaw 1 Wille, Robert 1 Wilson, Amalee 1 Yasuyoshi, Uemura 1 Zeljić, Aleksandar 1 Zhang, Jian 1 Zohar, Yoni 1 Zwirchmayr, Jakob all top 5 Cited in 11 Serials 3 Journal of Automated Reasoning 3 Formal Methods in System Design 2 Journal of Logical and Algebraic Methods in Programming 1 Artificial Intelligence 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Annals of Mathematics and Artificial Intelligence 1 Theory of Computing Systems 1 Scientific Annals of Computer Science 1 Texts in Theoretical Computer Science. An EATCS Series Cited in 3 Fields 33 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year