- key: Barrett2011
  title: 'CVC4'
  author:
    - Barrett, Clark W.
    - Conway, Christopher L.
    - Deters, Morgan
    - Hadarean, Liana
    - Jovanovic, Dejan
    - King, Tim
    - Reynolds, Andrew
    - Tinelli, Cesare
  year: 2011
  month: July
  booktitle: CAV 2011
  series: Lecture Notes in Computer Science
  volume: 6806
  pages: 171-177
  publisher: Springer
  doi: 10.1007/978-3-642-22110-1_14

- key: Barbosa2022
  title: 'cvc5: A Versatile and Industrial-Strength SMT Solver'
  author:
    - Barbosa, Haniel
    - Barrett, Clark W.
    - Brain, Martin
    - Kremer, Gereon
    - Lachnitt, Hanna
    - Mann, Makai
    - Mohamed, Abdalrhman
    - Mohamed, Mudathir
    - Niemetz, Aina
    - Nötzli, Andres
    - Ozdemir, Alex
    - Preiner, Mathias
    - Reynolds, Andrew
    - Sheng, Ying
    - Tinelli, Cesare
    - Zohar, Yoni
  year: 2022
  booktitle: TACAS 2022
  pages: 415-442
  publisher: Springer
  doi: 10.1007/978-3-030-99524-9_24

- key: Cadar2006
  title: 'EXE: Automatically Generating Inputs of Death'
  author:
    - Cadar, Cristian
    - Ganesh, Vijay
    - Pawlowski, Peter
    - Engler, Dawson
    - Dill, David
  year: 2006
  booktitle: CCS 2006
  month: October
  publisher: ACM
  doi: 10.1145/1455518.1455522

- key: Corzilius2015
  title: "SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving"
  author:
    - Corzilius, Florian
    - Kremer, Gereon
    - Junges, Sebastian
    - Schupp, Stefan
    - 'Ábrahám, Erika'
  year: 2015
  booktitle: "SAT 2015"
  pages: 360-368
  publisher: Springer
  doi: 10.1007/978-3-319-24318-4_26

- key: deMoura2008
  author:
    - de Moura, Leonardo
    - Bjørner, Nikolaj
  booktitle: TACAS 2008
  copyright: https://www.microsoft.com/en-us/research/publication/z3-an-efficient-smt-solver/
  doi: 10.1007/978-3-540-78800-3_24
  langid: english
  publisher: Springer, Berlin, Heidelberg
  shorttitle: Z3 SMT Solver
  title: "Z3: An Efficient SMT Solver"
  month: March
  year: 2008

- key: Dutertre2014
  author:
    - Dutertre, Bruno
  title: "Yices 2.2"
  booktitle: Computer-Aided Verification
  editor:
    - Biere, Armin
    - Bloem, Roderick
  year: 2014
  volume: 8559
  series: Lecture Notes in Computer Science
  pages: 737-744
  month: July
  publisher: Springer
  doi: 10.1007/978-3-319-08867-9_49

- key: Ganesh2007
  title: 'A Decision Procedure for Bit-Vectors and Arrays'
  author:
    - Ganesh, Vijay
    - Dill, David L.
  year: 2007
  booktitle: CAV 2007
  month: July
  publisher: Springer
  doi: 10.1007/978-3-540-73368-3_52

- key: Henkel2021
  title: Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality
  author:
    - Henkel, Elisabeth
    - Hoenicke, Jochen
    - Schindler, Tanja
  year: 2021
  booktitle: SMT 2021
  url: "https://ceur-ws.org/Vol-2908/short12.pdf"

- key: Jonas2016
  title: Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
  author:
    - Jonáš, Martin
    - Strejček, Jan
  year: 2016
  booktitle: SAT 2016
  pages: 267-283
  publisher: Springer
  doi: 10.1007/978-3-319-40970-2_17

- key: Niemetz2014
  type: article
  authors:
    - Aina Niemetz
    - Mathias Preiner
    - Armin Biere
  title: Boolector 2.0
  journal: J. Satisf. Boolean Model. Comput.
  volume: 9
  number: 1
  pages: 53-58
  year: 2014
  doi: 10.3233/sat190101

- key: Niemetz2023
  author:
    - Aina Niemetz
    - Mathias Preiner
  title: Bitwuzla
  booktitle: CAV 2023
  pages: 3-17
  publisher: Springer
  year: 2023
  doi: 10.1007/978-3-031-37703-7_1

- key: Osama2024
  title: Certified SAT solving with GPU accelerated inprocessing
  author:
    - Osama, Muhammad
    - Wijs, Anton 
    - Biere, Armin
  year: 2024
  booktitle: FMSD 2024
  volume: 62
  pages: 79-118
  publisher: Springer
  doi: 10.1007/s10703-023-00432-z

- key: Schurr2021
  title: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant 
  author:
    - Schurr, Hans-Jörg 
    - Fleury, Mathias 
    - Desharnais, Martin
  year: 2021
  booktitle: CADE 2021
  doi: 10.1007/978-3-030-79876-5_26
  publisher: Springer

- key: Soos2009
  title: Extending SAT Solvers to Cryptographic Problems
  author:
    - Mate Soos
    - Karsten Nohl
    - Claude Castelluccia
  booktitle: SAT 2009
  volume: 5584
  pages: 244-257
  publisher: Springer
  year: 2009
  doi: 10.1007/978-3-642-02777-2_24