- 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: Barrett2011
  title: 'CVC4'
  author:
    - Barrett, Clark W.
    - Conway, Christopher L.
    - Deters, Morgan
    - Hadarean, Liana
    - Jovanovic, Dejan
    - King, Tim
    - Reynolds, Andrew
    - Tinelli, Cesare
  year: 2011
  booktitle: 'Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings'
  series: Lecture Notes in Computer Science
  volume: 6806
  pages: 171-177
  publisher: Springer
  doi: 10.1007/978-3-642-22110-1_14
  url: https://doi.org/10.1007/978-3-642-22110-1_14