diff --git a/literatur.bib b/literatur.bib
index a8a7d1e..7d6a8a8 100644
--- a/literatur.bib
+++ b/literatur.bib
@@ -4121,6 +4121,16 @@ @Article{demassey-et-al-constraints2006
   year =         "2006",
 }
 
+@InProceedings{demirovic-et-al-cp2024,
+  author =       "Emir Demirović and Ciaran McCreesh and Matthew J. McIlree and
+               Jakob Nordstr{\"{o}}m and Andy Oertel and Konstantin Sidorov",
+  title =        "Pseudo-{B}oolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms",
+  booktitle =    "Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP-24)",
+  pages =        "9:1--9:21",
+  year =         2024,
+  publisher =    "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
+}
+
 @InCollection{desrosiers-luebbecke-columngeneration2005,
   author =       "Jacques Desrosiers and Marco E. L{\"u}bbecke",
   title =        "A Primer in Column Generation",
@@ -7046,6 +7056,13 @@ @InProceedings{gnad-speck-icaps2024wsweep
   crossref =     "icaps2024wsweep"
 }
 
+@InProceedings{gocht-et-al-aaai2024,
+  author =       "Stephan Gocht and Ciaran McCreesh and Magnus O. Myreen and Jakob Nordstr{\"{o}}m and Andy Oertel and Yong Kiam Tan",
+  title =        "End-to-End Verification for Subgraph Solving",
+  pages =        "8038--8047",
+  crossref =     "aaai2024"
+}
+
 % Data from DBLP
 @InProceedings{gocht-et-al-sat2022,
   author =       "Stephan Gocht and
@@ -7060,6 +7077,15 @@ @InProceedings{gocht-et-al-sat2022
   pages =        "16:1--16:25"
 }
 
+@InProceedings{gocht-et-al-cp2022,
+  author =       "Stephan Gocht and Ciaran McCreesh and Jakob Nordstr{\"{o}}m",
+  title =        "An Auditable Constraint Programming Solver",
+  booktitle =    "Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming (CP-22)",
+  publisher =    "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
+  year =         "2022",
+  pages =        "25:1--25:18"
+}
+
 % Data from DBLP
 @InProceedings{gocht-nordstrom-aaai2021,
   author =       "Stephan Gocht and
@@ -8288,6 +8314,19 @@ @InProceedings{hoeller-et-al-icaps2018
   crossref =     "icaps2018",
 }
 
+@InProceedings{hoen-et-al-cpaior2024,
+  author =       "Alexander Hoen and Andy Oertel and Ambros Gleixner
+                  and Jakob Nordström",
+  title =        "Certifying {MIP}-based Presolve Reductions for
+                  \mbox{$0$--$1$} Integer Linear Programs",
+  pages =        "310--328",
+  booktitle =    "Proceedings of the 21st International Conference on the
+	       Integration of Constraint Programming, Artificial Intelligence,
+	       and Operations Research ({CPAIOR}-24)",
+  publisher =    "Springer",
+  year =         "2024"
+}
+
 @InProceedings{hoey-et-al-uai1999,
   author =       "Jesse Hoey and Robert St-Aubin and Alan Hu and Craig
                   Boutilier",
@@ -11770,6 +11809,26 @@ @InProceedings{mcgovern-barto-icml2001
   crossref =     "icml2001"
 }
 
+@InProceedings{mcilree-et-al-cpaior2024,
+  author =       "Matthew J. McIlree and Ciaran McCreesh and Jakob Nordstr{\"{o}}m",
+  title =        "Proof Logging for the Circuit Constraint",
+  booktitle =    "Proceedings of the 21st International Conference on the
+	       Integration of Constraint Programming, Artificial Intelligence,
+	       and Operations Research (CPAIOR-24)",
+  publisher =    "Springer",
+  year =         "2024",
+  pages =        "38--55"
+}
+
+@InProceedings{mcilree-mccreesh-cp2023,
+  author =       "Matthew J. McIlree and Ciaran McCreesh",
+  title =        "Proof Logging for Smart Extensional Constraints",
+  booktitle =    "Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, (CP-23)",
+  publisher =    "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
+  year =         "2023",
+  pages =        "26:1--26:17"
+}
+
 @InProceedings{mcmahan-et-al-icml2005,
   author =       "H. Brendan McMahan and Maxim Likhachev and Geoffrey J. Gordon",
   title =        "Bounded Real-time Dynamic Programming: {RTDP} with Monotone Upper Bounds and Performance Guarantees",