×

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; SMT-LIB; CVC4; Yices; STP; MathSAT5; MiniSat; BtorMC; MathSAT; Chaff; DART; KLEE; SIMPLIFY; cvc3; Beaver; CBMC; Plingeling; PySMT; GitHub; PicoSAT
Cited in: 38 Documents
Further Publications: http://fmv.jku.at/papers/index.html
all top 5

Cited by 112 Authors

6 Barrett, Clark W.
4 Biere, Armin
3 Jovanović, Dejan
3 Tinelli, Cesare
2 Chakraborty, Supratik
2 de Moura, Leonardo
2 Heljanko, Keijo
2 Kröning, Daniel
2 Mann, Makai
2 Niemetz, Aina
2 Preiner, Mathias
2 Sebastiani, Roberto
2 Sun, Jiaguang
2 Trentin, Patrick
2 Wintersteiger, Christoph M.
2 Zhou, Min
1 Aref, Mohammad Reza
1 Asăvoae, Irina Măriuca
1 Azimi, Seyyed Arash
1 Baranowski, Marek
1 Barbosa, Haniel
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 De Angelis, Emanuele
1 Donovick, Caleb
1 Drechsler, Rolf
1 Dubrovin, Jori
1 Dutertre, Bruno
1 Fioravanti, Fabio
1 Fröhlich, Andreas M.
1 Gajavelly, Rajkumar
1 Gallagher, John P.
1 Ge, Cunjing
1 Graham-Lengrand, Stéphane
1 Gu, Ming
1 Güdemann, Matthias
1 Guman, Allison
1 Gupta, Ashutosh
1 Haldankar, Tanmay
1 Hamadi, Youssef
1 He, Fei
1 He, Shaobo
1 Hermenegildo, Manuel V.
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 Marić, Filip
1 Marre, Bruno
1 Martins, Ruben
1 Mistry, Rakesh
1 Mohajeri, Javad
1 Niewiadomski, Artur
1 Nötzli, Andres
1 Penczek, Wojciech
1 Pettorossi, Alberto
1 Proietti, Maurizio
1 Rakamarić, Zvonimir
1 Ranea, Adrián H.
1 Reynolds, Andrew
1 Riedl, Klaus
1 Riesco, Adrián
1 Rijmen, Vincent
1 Rümmer, Philipp
1 Saarikivi, Olli
1 Sakallah, Karem A.
1 Salmasizadeh, Mahmoud
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
...and 12 more Authors

Citations by Year