199 lines
4.3 KiB
YAML
199 lines
4.3 KiB
YAML
|
|
- 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
|
|
|