Add a bunch of references.

Author: maltehelmert

crossref-short.bib

@@ -391,6 +391,12 @@ @Proceedings{cav2010
   year =         "2010"
 }
 
+@Proceedings{cav2021part2,
+  title =        "Proc.\ CAV 2021, Part II",
+  booktitle =    "Proc.\ CAV 2021, Part II",
+  year =         "2021"
+}
+
 @Proceedings{cav2025part1,
   title =        "Proc.\ CAV 2025, Part I",
   booktitle =    "Proc.\ CAV 2025, Part I",
@@ -650,6 +656,18 @@ @Proceedings{fmcad2011
   year =         "2011"
 }
 
+@Proceedings{fmcad2022,
+  title =        "Proc.\ FMCAD 2022",
+  booktitle =    "Proc.\ FMCAD 2022",
+  year =         "2022"
+}
+
+@Proceedings{fmcad2023,
+  title =        "Proc.\ FMCAD 2023",
+  booktitle =    "Proc.\ FMCAD 2023",
+  year =         "2023"
+}
+
 @Proceedings{gecco2011,
   title =        "Proc.\ GECCO 2011",
   booktitle =    "Proc.\ GECCO 2011",
@@ -1462,6 +1480,12 @@ @Proceedings{ijcar2018
   year =         "2018"
 }
 
+@Proceedings{ijcar2024part1,
+  title =        "Proc.\ IJCAR 2024, Part I",
+  booktitle =    "Proc.\ IJCAR 2024, Part I",
+  year =         "2024"
+}
+
 @Proceedings{ipc2006,
   title =        "IPC-5 Planner Abstracts",
   booktitle =    "IPC-5 Planner Abstracts",

crossref.bib

@@ -657,6 +657,18 @@ @Proceedings{cav2010
   year =         "2010"
 }
 
+@Proceedings{cav2021part2,
+  editor =       "Alexandra Silva and K. Rustan M. Leino",
+  title =        "Proceedings of the 33rd International Conference on
+                  Computer Aided Verification (CAV 2021), Part II",
+  booktitle =    "Proceedings of the 33rd International Conference on
+                  Computer Aided Verification (CAV 2021), Part II",
+  publisher =    "Springer-Verlag",
+  series =       lncs,
+  volume =       "12760",
+  year =         "2021"
+}
+
 @Proceedings{cav2025part1,
   editor =       "Ruzica Piskac and Zvonimir Rakamaric",
   title =        "Proceedings of the 37th International Conference on
@@ -1123,7 +1135,27 @@ @Proceedings{fmcad2011
                   Methods in Computer-Aided Design ({FMCAD} 2011)",
   booktitle =    "Proceedings of the 11th International Conference on Formal
                   Methods in Computer-Aided Design ({FMCAD} 2011)",
-  year =         "2011",
+  year =         "2011"
+}
+
+@Proceedings{fmcad2022,
+  editor =       "Alberto Griggio and Neha Rungta",
+  title =        "Proceedings of the 22nd International Conference on Formal
+                  Methods in Computer-Aided Design (FMCAD 2022)",
+  booktitle =    "Proceedings of the 22nd International Conference on Formal
+                  Methods in Computer-Aided Design (FMCAD 2022)",
+  publisher =    "IEEE",
+  year =         "2022"
+}
+
+@Proceedings{fmcad2023,
+  editor =       "Alexander Nadel and Kristin Yvonne Rozier",
+  title =        "Proceedings of the 23rd International Conference on Formal
+                  Methods in Computer-Aided Design (FMCAD 2023)",
+  booktitle =    "Proceedings of the 23rd International Conference on Formal
+                  Methods in Computer-Aided Design (FMCAD 2023)",
+  publisher =    "IEEE",
+  year =         "2023"
 }
 
 @Proceedings{gecco2011,
@@ -2275,6 +2307,18 @@ @Proceedings{ijcar2018
   year =         "2018"
 }
 
+@Proceedings{ijcar2024part1,
+  editor =       "Christoph Benzmüller and Marijn J. H. Heule and Renate A. Schmidt",
+  title =        "Proceedings of the 12th International Joint
+                  Conference on Automated Reasoning (IJCAR 2024), Part I",
+  booktitle =    "Proceedings of the 12th International Joint
+                  Conference on Automated Reasoning (IJCAR 2024), Part I",
+  publisher =    "Springer-Verlag",
+  series =       lncs,
+  volume =       "14739",
+  year =         "2024"
+}
+
 @Proceedings{ipc2006,
   title =        "Fifth {I}nternational {P}lanning {C}ompetition ({IPC}-5):
                   Planner Abstracts",

literatur.bib

@@ -6528,6 +6528,13 @@ @InProceedings{froleyks-et-al-cav2025part1
   pages =        "281--295"
 }
 
+@InProceedings{froleyks-et-al-ijcar2024part1,
+  author =       "Nils Froleyks and Emily Yu and Armin Biere and Keijo Heljanko",
+  title =        "Certifying Phase Abstraction",
+  crossref =     "ijcar2024part1",
+  pages =        "284--303"
+}
+
 @InProceedings{froleyks-et-al-socs2019,
   author =       "Nils Christian Froleyks and
                   Tom{\'{a}}s Balyo and
@@ -18315,6 +18322,27 @@ @Article{younes-simmons-jair2003
   pages =        "405--430"
 }
 
+@InProceedings{yu-et-al-cav2021part2,
+  author =       "Emily Yu and Armin Biere and Keijo Heljanko",
+  title =        "Progress in Certifying Hardware Model Checking Results",
+  crossref =     "cav2021part2",
+  pages =        "363--386"
+}
+
+@InProceedings{yu-et-al-fmcad2022,
+  author =       "Emily Yu and Nils Froleyks and Armin Biere and Keijo Heljanko",
+  title =        "Stratified Certification for $K$-Induction",
+  crossref =     "fmcad2022",
+  pages =        "59--64"
+}
+
+@InProceedings{yu-et-al-fmcad2023,
+  author =       "Emily Yu and Nils Froleyks and Armin Biere and Keijo Heljanko",
+  title =        "Towards Compositional Hardware Model Checking Certification",
+  crossref =     "fmcad2023",
+  pages =        "1--11"
+}
+
 @InProceedings{yu-et-al-icaps2020wshsdip,
   author =       "Liu Yu and Ryo Kuroiwa and Alex Fukunaga",
   title =        "Learning Search-Space Specific Heuristics Using Neural Network",