Add a bunch of references.

Author: maltehelmert

crossref-short.bib

@@ -1300,6 +1300,12 @@ @Proceedings{icra2009
   year =         "2009"
 }
 
+@Proceedings{ictai2004,
+  title =        "Proc.\ ICTAI 2004",
+  booktitle =    "Proc.\ ICTAI 2004",
+  year =         "2004"
+}
+
 @Proceedings{ictai2009,
   title =        "Proc.\ ICTAI 2009",
   booktitle =    "Proc.\ ICTAI 2009",
@@ -1957,6 +1963,12 @@ @Proceedings{sara2013
   year =         "2013"
 }
 
+@Proceedings{sat2014,
+  title =        "Proc.\ SAT 2014",
+  booktitle =    "Proc.\ SAT 2014",
+  year =         "2014"
+}
+
 @Proceedings{satc2020,
   title =        "Proc.\ {SAT Competition} 2020",
   booktitle =    "Proc.\ {SAT Competition} 2020",

crossref.bib

@@ -1999,6 +1999,15 @@ @Proceedings{icra2009
   year =         "2009"
 }
 
+@Proceedings{ictai2004,
+  title =        "Proceedings of the 16th International Conference on Tools with
+                  Artificial Intelligence (ICTAI 2004)",
+  booktitle =    "Proceedings of the 16th International Conference on Tools with
+                  Artificial Intelligence (ICTAI 2004)",
+  publisher =    "IEEE",
+  year =         "2004"
+}
+
 @Proceedings{ictai2009,
   title =        "Proceedings of the 21st International Conference on Tools with
                   Artificial Intelligence (ICTAI 2009)",
@@ -3136,6 +3145,18 @@ @Proceedings{sara2013
   year =         "2013"
 }
 
+@Proceedings{sat2014,
+  editor =       "Carsten Sinz and Uwe Egly",
+  title =        "Proceedings of the 17th International Conference on
+                  Theory and Applications of Satisfiability Testing (SAT 2014)",
+  booktitle =    "Proceedings of the 17th International Conference on
+                  Theory and Applications of Satisfiability Testing (SAT 2014)",
+  series =       lncs,
+  volume =       "8561",
+  publisher =    "Springer-Verlag",
+  year =         "2014"
+}
+
 @Proceedings{satc2020,
   editor =       "Tomas Balyo and Nils Froleyks and Marijn Heule and Markus Iser
 		  and Matti J{\"a}rvisalo and Martin Suda",

literatur.bib

@@ -4017,6 +4017,15 @@ @MastersThesis{daggelinckx-msc2023
   year =         "2023"
 }
 
+%% A better reference would be the Dagstuhl report once it is available.
+@Misc{dagstuhl25231-2025,
+  key =          "Dagstuhl",
+  title =        "Dagstuhl Seminar 25231: Certifying Algorithms for Automated Reasoning",
+  address =      "Schloss Dagstuhl, Leibniz Center for Informatics, Wadern, Germany",
+  year =         "2025",
+  url =          "https://www.dagstuhl.de/25231"
+}
+
 @InProceedings{dalmau-moreno-et-al-icaps2023wsplanrob,
   author =       "Mag{\'i} Dalmau-Moreno and N{\'e}stor Garc{\'i}a and Vicen{\c{c}} G{\'{o}}mez and Hector Geffner",
   title =        "Combined Task and Motion Planning Via Sketch Decompositions",
@@ -9236,6 +9245,14 @@ @InProceedings{howe-et-al-ecp1999
   pages =        "62--72"
 }
 
+@InProceedings{howey-et-al-ictai2004,
+  author =       "Richard Howey and Derek Long and Maria Fox",
+  title =        "{VAL}: {Automatic} Plan Validation, Continuous Effects and
+                  Mixed Initiative Planning Using {PDDL}",
+  crossref =     "ictai2004",
+  pages =        "294--301"
+}
+
 @InProceedings{howey-long-icaps2003wscompetition,
   author =       "Richard Howey and Derek Long",
   title =        "{VAL's} Progress: The Automatic Validation Tool for {PDDL2.1}
@@ -17972,6 +17989,14 @@ @InProceedings{west-et-al-plansig2002
   year =         "2002",
 }
 
+@InProceedings{wetzler-et-al-sat2014,
+  author =       "Nathan Wetzler and Marijn Heule and Hunt, Jr., Warren A.",
+  title =        "{DRAT}-trim: {Efficient} Checking and Trimming Using
+                  Expressive Clausal Proofs",
+  crossref =     "sat2014",
+  pages =        "422--429"
+}
+
 @InProceedings{wichlacz-et-al-ecai2023,
   author =       "Julia Wichlacz and Daniel H{\"o}ller and Daniel Fi{\v{s}}er and J{\"o}rg Hoffmann",
   title =        "A Landmark-Cut Heuristic for Lifted Optimal Planning",