New entries

crossref-short.bib

@@ -7,6 +7,12 @@
 %
 % Do not cite directly. Instead, add a Book entry in literatur.bib.
 %
+@Proceedings{aaai1991,
+  title =        "Proc.\ {AAAI} 1991",
+  booktitle =    "Proc.\ {AAAI} 1991",
+  year =         "1991"
+}
+
 @Proceedings{aaai1993,
   title =        "Proc.\ {AAAI} 1993",
   booktitle =    "Proc.\ {AAAI} 1993",
@@ -1216,6 +1222,12 @@ @Proceedings{ictai2009
   year =         "2009"
 }
 
+@Proceedings{ictai2012,
+  title =        "Proc.\ ICTAI 2012",
+  booktitle =    "Proc.\ ICTAI 2012",
+  year =         "2012"
+}
+
 @Proceedings{ijcai1969,
   title =        "Proc.\ IJCAI 1969",
   booktitle =    "Proc.\ IJCAI 1969",

crossref.bib

@@ -7,6 +7,15 @@
 %
 % Do not cite directly. Instead, add a Book entry in literatur.bib.
 %
+@Proceedings{aaai1991,
+  title =        "Proceedings of the Ninth National Conference on
+                  Artificial Intelligence ({AAAI} 1991)",
+  booktitle =    "Proceedings of the Eleventh National Conference on
+                  Artificial Intelligence ({AAAI} 1991)",
+  publisher =    "{AAAI} Press/{MIT} Press",
+  year =         "1991"
+}
+
 @Proceedings{aaai1993,
   title =        "Proceedings of the Eleventh National Conference on
                   Artificial Intelligence ({AAAI} 1993)",
@@ -1856,6 +1865,13 @@ @Proceedings{ictai2009
   year =         "2009"
 }
 
+@Proceedings{ictai2012,
+  title =        "Proceedings of the 24th International Conference on Tools with Artificial Intelligence (ICTAI 2012)",
+  booktitle =    "Proceedings of the 24th International Conference on Tools with Artificial Intelligence (ICTAI 2012)",
+  publisher =    "IEEE",
+  year =         "2012"
+}
+
 % Data from DBLP.
 @Proceedings{ijcai1969,
   editor =       "Donald E. Walker and Lewis M. Norton",

literatur.bib

@@ -2675,6 +2675,13 @@ @Proceedings{celorrio-et-al-2011
   year =         "2011"
 }
 
+@InProceedings{celorrio-et-al-icaps2013wspal,
+  author =       "Sergio Jim{\'{e}}nez Celorrio and Patrik Haslum and Sylvie Thi{\'e}baux",
+  title =        "Pruning bad quality causal links in sequential satisfying planning",
+  crossref =     "icaps2013wspal",
+  pages =        "45--52"
+}
+
 @InProceedings{cenamor-et-al-icaps2013wspal,
   author =       "Isabel Cenamor and Tom\'{a}s {de la Rosa}
                   and Fernando Fern\'{a}ndez",
@@ -3062,6 +3069,20 @@ @Misc{christen-et-al-zenodo2022
   howpublished = "\url{https://doi.org/10.5281/zenodo.6376174}"
 }
 
+@InProceedings{chrpa-et-al-icaps2012,
+  author =       "Luk{\'a}{\v{s}} Chrpa and Thomas Leo McCluskey and Hugh Osborne",
+  title =        "Optimizing Plans through Analysis of Action Dependencies and Independencies",
+  crossref =     "icaps2012",
+  pages =        "338--342"
+}
+
+@InProceedings{chrpa-et-al-ictai2012,
+  author =       "Luk{\'a}{\v{s}} Chrpa and Thomas Leo McCluskey and Hugh Osborne",
+  title =        "Determining Redundant Actions in Sequential Plans",
+  crossref =     "ictai2012",
+  pages =        "484--491"
+}
+
 @Misc{chrpa-et-al-misc2016,
   author =       "Lukas Chrpa and Lee McCluskey and Mauro Vallati and Tiago Vaquero",
   title =        "{ICKEPS} 2016 The Fifth International Competition on Knowledge Engineering for Planning and Scheduling",
@@ -5856,6 +5877,14 @@ @TechReport{fink-veloso-tr1994
   number =       "CMU-CS-94-123"
 }
 
+@InProceedings{fink-yang-cscsi1992,
+  author =       "Eugene Fink and Qiang Yang",
+  title =        "Formalizing Plan Justifications",
+  booktitle =    "Proceedings of the Ninth Conference of the Society for Computational Studies of Intelligence",
+  pages =        "9--14",
+  year =         "1992"
+}
+
 % Data taken from Plant Accelerator website,
 % http://www.plantaccelerator.org.au/publications/.
 @Article{finkel-science2009,
@@ -10933,6 +10962,17 @@ @Book{lawler-1976
   year =         "1976"
 }
 
+@Article{leberre-parrain-jsbmc2010,
+  title =        "The {Sat4j} library, release 2.2",
+  author =       "Daniel {Le Berre} and Anne Parrain",
+  journal =      "Journal on Satisfiability, Boolean Modeling and Computation",
+  volume =       "7",
+  number =       "2--3",
+  pages =        "59--64",
+  year =         "2010",
+  publisher =    "IOS Press"
+}
+
 % Data from IEEE website:
 % - https://ieeexplore.ieee.org/document/726791
 @Article{lecun-et-al-ieee1998,
@@ -11734,6 +11774,14 @@ @InProceedings{mausam-weld-aaai2004
   crossref =     "aaai2004"
 }
 
+@InProceedings{mcallester-rosenblitt-aaai1991,
+  author =       "David A. McAllester and David Rosenblitt",
+  title =        "Systematic Nonlinear Planning",
+  crossref =     "aaai1991",
+  volume =       "2",
+  pages =        "634--639"
+}
+
 @Misc{mccarthy-1963,
   author =       "John Mc{C}arthy",
   title =        "Situations, actions, and causal laws",
@@ -11873,6 +11921,13 @@ @InProceedings{mcmillan-cav2003
   pages =        "1--13"
 }
 
+@InProceedings{med-chrpa-icaps2022,
+  author =       "Jakub Med and Luk{\'a}{\v{s}} Chrpa",
+  title =        "On Speeding Up Methods for Identifying Redundant Actions in Plans",
+  pages =        "252--260",
+  crossref =     "icaps2022"
+}
+
 % Data verified.
 % Not available.
 %   Contains (among other things) polynomial algorithms for
@@ -12144,6 +12199,15 @@ @InProceedings{muise-et-al-icaps2022systemdemos
   crossref =     "icaps2022systemdemos"
 }
 
+@Article{muise-et-al-jair2016,
+  author =       "Christian Muise and J. Christopher Beck and Sheila A. McIlraith",
+  title =        "Optimal Partial-Order Plan Relaxation via {MaxSAT}",
+  journal =      jair,
+  volume =       "57",
+  pages =        "113--149",
+  year =         "2016"
+}
+
 @InProceedings{muise-icaps2016systemdemos,
   author =       "Christian Muise",
   title =        "{Planning.Domains}",
@@ -12206,6 +12270,13 @@ @InProceedings{nakhost-mueller-socs2012
   pages =        "57--64"
 }
 
+@InProceedings{nakhost-muller-icaps2010,
+  title =        "Action Elimination and Plan Neighborhood Graph Search: Two Algorithms for Plan Improvement",
+  author =       "Hootan Nakhost and Martin M{\"u}ller",
+  pages =        "121--128",
+  crossref =     "icaps2010"
+}
+
 @Article{nau-et-al-jair2003,
   author =       "Dana S. Nau and Tsz-Chiu Au and Okhtay Ilghami and
                   Ugur Kuter and J. William Murdock and Dan Wu and
@@ -12445,6 +12516,13 @@ @Misc{olmo-et-al-arxiv2021
   howpublished = "arXiv:2106.07131 [cs.CL]"
 }
 
+@InProceedings{olz-bercher-icaps2019,
+  author =       "Conny Olz and Pascal Bercher",
+  title =        "Eliminating Redundant Actions in Partially Ordered Plans --- A Complexity Analysis",
+  crossref =     "icaps2019",
+  pages =        "310--319"
+}
+
 @InProceedings{ontanon-aaai2013,
   author =       "Santiago Onta{\~{n}}{\'{o}}n",
   title =        "The Combinatorial Multi-Armed Bandit Problem and Its Application to Real-Time Strategy Games",
@@ -14152,6 +14230,13 @@ @Article{savitch-jcss1970
   year =         "1970"
 }
 
+@InProceedings{say-et-al-ecai2016,
+  author =       "Buser Say and Andre A. Cire and  J. Christopher Beck",
+  title =        "Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility",
+  crossref =     "ecai2016",
+  pages =        "1044--1052"
+}
+
 @InProceedings{scala-et-al-ecai2016,
   author =       "Enrico Scala and Patrik Haslum and Sylvie Thiebaux and Miquel Ramirez",
   title =        "Interval-Based Relaxation for General Numeric Planning",
@@ -15007,6 +15092,15 @@ @InProceedings{shvo-et-al-cai2018
   pages =        "253--258"
 }
 
+@Article{siddiqui-haslum-jair2015,
+  author =       "Fazlul Hasan Siddiqui and Patrik Haslum",
+  title =        "Continuing Plan Quality Optimisation",
+  journal =      jair,
+  volume =       "54",
+  pages =        "369--435",
+  year =         "2015"
+}
+
 @Article{sieling-wegener-ppl1993,
   author =       "Detlef Sieling and Ingo Wegener",
   title =        "{NC}-Algorithms for Operations on Binary Decision Diagrams",
@@ -15726,6 +15820,13 @@ @InProceedings{speicher-et-al-icaps2017
   crossref =     "icaps2017"
 }
 
+@InProceedings{sreedharan-et-al-icaps2023,
+  author =       "Sarath Sreedharan and Christian Muise and Subbarao Kambhampati",
+  title =        "Generalizing Action Justification and Causal Links to Policies",
+  pages =        "417--426",
+  crossref =     "icaps2023"
+}
+
 @InProceedings{sreedharan-et-al-ijcai2019,
   author =       "Sarath Sreedharan and Siddharth Srivastava and David E. Smith and Subbarao Kambhampati",
   title =        "Why Can't You Do That {HAL}? Explaining Unsolvability of Planning Tasks",
@@ -17086,6 +17187,13 @@ @Article{warshall-jacm1962
   pages =        "11--12"
 }
 
+@InProceedings{waters-et-al-ijcai2020,
+  author =       "Max Waters and Lin Padgham and Sebastian Sardina",
+  title =        "Optimising Partial-Order Plans Via Action Reinstantiation",
+  crossref =     "ijcai2020",
+  pages =        "4143--4151"
+}
+
 @InProceedings{wehrle-et-al-icaps2008,
   author =       "Martin Wehrle and Sebastian Kupferschmid and Andreas Podelski",
   title =        "Useless Actions Are Useful",