Consolidate publication data

sat-smt.yml

@@ -0,0 +1,198 @@
+
+- 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
+