×

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

Citations by Year