From 80cafb3f32a85f17c5272d2f617614f0910e1dd9 Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Fri, 6 Jun 2025 18:06:10 -0600
Subject: [PATCH] update publications

---
 yices.yaml | 14 ++++++++++++++
 z3.yaml    | 13 +++++++++++++
 2 files changed, 27 insertions(+)
 create mode 100644 yices.yaml
 create mode 100644 z3.yaml

diff --git a/yices.yaml b/yices.yaml
new file mode 100644
index 0000000..bb26918
--- /dev/null
+++ 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
\ No newline at end of file
diff --git a/z3.yaml b/z3.yaml
new file mode 100644
index 0000000..1b3e5a5
--- /dev/null
+++ 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
\ No newline at end of file