update publications

2025-06-06 18:06:10 -06:00
2 changed files with 27 additions and 0 deletions
--- a/yices.yaml
+++ b/yices.yaml
@@ -0,0 +1,14 @@
+- 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
--- a/z3.yaml
+++ b/z3.yaml
@@ -0,0 +1,13 @@
+- key: deMoura2008
+  author:
+    - de Moura, Leonardo
+    - Bjørner, Nikolaj
+  booktitle: TACAS
+  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