Add tests

.github/workflows/main.yml

@@ -0,0 +1,23 @@
+name: CI
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v3
+
+    - name: Install dependencies
+      run: |
+        sudo apt-get install texlive-fonts-recommended texlive-latex-recommended
+
+    - name: Check bibtex files
+      run: |
+        ./tests/run-tests.sh

crossref-short.bib

@@ -362,6 +362,12 @@ @Proceedings{cav2010
   year =         "2010"
 }
 
+@Proceedings{cig2008,
+  title =        "Proc.\ CIG 2008",
+  booktitle =    "Proc.\ CIG 2008",
+  year =         "2008"
+}
+
 @Proceedings{cocomile2012,
   title =        "Proc.\ CoCoMile 2012",
   booktitle =    "Proc.\ CoCoMile 2012",
@@ -896,6 +902,14 @@ @Proceedings{icaps2021
   year =         "2021"
 }
 
+@Proceedings{icaps2021wshsdip,
+  title =        "ICAPS Workshop on Heuristics and Search for
+                  Domain-independent Planning",
+  booktitle =    "ICAPS Workshop on Heuristics and Search for
+                  Domain-independent Planning",
+  year =         "2021"
+}
+
 @Proceedings{icaps2021wsprl,
   title =        "ICAPS Workshop on Bridging the Gap Between AI
                   Planning and Reinforcement Learning (PRL)",
@@ -1284,6 +1298,12 @@ @Proceedings{ipc2018
   year =         "2018"
 }
 
+@Proceedings{ipc2023,
+  title =        "IPC-10 Planner Abstracts",
+  booktitle =    "IPC-10 Planner Abstracts",
+  year =         "2023"
+}
+
 @Proceedings{ippc2018,
   title =        "IPPC-6 Planner Abstracts",
   booktitle =    "IPPC-6 Planner Abstracts",
@@ -1491,8 +1511,10 @@ @Proceedings{kr2023
 % Data based on DBLP. See note in crossref.bib.
 % Use for crossrefs and use reisig-rozenberg-1998 to cite the whole book.
 @Book{lecturespetri1998,
+  editor =       "Wolfgang Reisig and Grzegorz Rozenberg",
   title =        "Lectures on {Petri} Nets {I}: Basic Models",
   booktitle =    "Lectures on {Petri} Nets {I}: Basic Models",
+  publisher =    "Springer-Verlag",
   series =       lncs,
   volume =       "1491",
   year =         "1998"
@@ -1637,8 +1659,11 @@ @Proceedings{popl2005
 
 % Use for crossrefs and use allen-et-al:1991 to cite the whole book.
 @Book{reasoningaboutplans1991,
+  editor =       "James F. Allen and Henry A. Kautz and Richard N.
+                  Pelavin and Josh D. Tenenberg",
   title =        "Reasoning About Plans",
   booktitle =    "Reasoning About Plans",
+  publisher =    "Morgan Kaufmann",
   year =         "1991"
 }
 

crossref.bib

@@ -528,7 +528,6 @@ @Proceedings{avocs2004
   booktitle =    "Proceedings of the Fourth International Workshop on Automated Verification of Critical Systems (AVoCS 2004)",
   series =       "Electronic Notes in Theoretical Computer Science",
   volume =       "128",
-  number =       "6",
   publisher =    "Springer-Verlag",
   year =         "2005"
 }

literatur.bib

@@ -1028,7 +1028,7 @@ @InProceedings{bar-noy-schieber-soda1991
   pages =        "261--270"
 }
 
-@Article{bast-et-al-ae2016,
+@InCollection{bast-et-al-ae2016,
   author =       "Hannah Bast and Daniel Delling and Andrew V. Goldberg and
                   Matthias M{\"{u}}ller{-}Hannemann and Thomas Pajor and
                   Peter Sanders and Dorothea Wagner and Renato F. Werneck",
@@ -2292,7 +2292,7 @@ @Misc{buechner-et-al-zenodo2023b
 % No page numbers since there are no proceedings.
 @InProceedings{buechner-keller-icaps2021wshsdip,
   author =       "Clemens B{\"u}chner and Thomas Keller",
-  title =        "LM-BFS: A Framework for Landmarks in Planning",
+  title =        "{LM-BFS}: A Framework for Landmarks in Planning",
   crossref =     "icaps2021wshsdip"
 }
 
@@ -2783,9 +2783,10 @@ @Proceedings{chien-et-al-2000
 
 @InProceedings{childs-et-al-cig2008,
   author =       "Benjamin E. Childs and James H. Brodeur and Levente Kocsis",
-  title =        "Transpositions and Move Groups in Monte Carlo Tree Search",
+  title =        "Transpositions and Move Groups in {Monte Carlo} Tree Search",
   crossref =     "cig2008",
-  pages =        "389--395"
+  pages =        "389--395",
+  year =         "2008"
 }
 
 % Data from DBLP, with two first names added by googling.
@@ -3646,9 +3647,11 @@ @InProceedings{dawson-siklossy-ijcai1977
 }
 
 @Misc{ddv,
-  title =        "Deutscher {D}oppelkopf {V}erband",
+  author =       "Deutscher {D}oppelkopf {V}erband",
+  title =        "Homepage",
   url =          "http://www.doko-verband.de",
-  note =         "[Online; in German; accessed 2015-04-28]"
+  note =         "[Online; in German; accessed 2015-04-28]",
+  year =         "2015"
 }
 
 @Article{de-farias-van-roy-jor2003,
@@ -3855,6 +3858,7 @@ @InCollection{desrosiers-luebbecke-columngeneration2005
   title =        "A Primer in Column Generation",
   booktitle =    "Column Generation",
   editor =       "Guy Desaulniers and Jacques Desrosiers and Marius M. Solomon",
+  publisher =    "Springer US",
   year =         "2005",
   pages =        "1--32"
 }
@@ -4127,7 +4131,7 @@ @inproceedings{dong-et-al-iclr2019
   crossref =     "iclr2019",
 }
 
-%% Data taken from reprint at "https://saltworks.stanford.edu/assets/yf330xx7624.pdf‎"
+%% Data taken from reprint at "https://saltworks.stanford.edu/assets/yf330xx7624.pdf"
 @Article{doran-michie-rsl1966,
   author =       "James E. Doran and Donald Michie",
   title =        "Experiments with the Graph Traverser program",
@@ -5898,13 +5902,12 @@ @InProceedings{geffner-aaai2022
 }
 
 @Book{geffner-bonet-2013,
-  author =       "H{\'e}ctor Geffner and Blai Bonet",
+  author =       "Hector Geffner and Blai Bonet",
   title =        "A Concise Introduction to Models and Methods
                   for Automated Planning",
   series =       "Synthesis Lectures on Artificial Intelligence
                   and Machine Learning",
   volume =       "7",
-  number =       "2",
   publisher =    "Morgan \& Claypool",
   year =         "2013"
 }
@@ -6862,7 +6865,6 @@ @Book{hamilton-2020
   title =        "Graph Representation Learning",
   series =       "Synthesis Lectures on Artificial Intelligence and Machine Learning",
   volume =       "14",
-  number =       "3",
   publisher =    "Morgan \& Claypool",
   year =         "2020"
 }
@@ -6975,7 +6977,6 @@ @Book{haslum-et-al-2019
   title =        "An Introduction to the Planning Domain Definition Language",
   series =       "Synthesis Lectures on Artificial Intelligence and Machine Learning",
   volume =       "13",
-  number =       "2",
   publisher =    "Morgan \& Claypool",
   year =         "2019"
 }
@@ -7986,9 +7987,11 @@ @InProceedings{hoos-et-al-iclp2012
   crossref =     "iclp2012"
 }
 
-@Article{hoos-stutzle-sat2000,
+@InCollection{hoos-stutzle-sat2000,
   author =       "Holger Hoos and Thomas St{\"u}tzle",
   title =        "{SATLIB}: An Online Resource for Research on {SAT}",
+  editor =       "Ian Gent and Hans {Van Maaren} and Toby Walsh",
+  booktitle =    "{SAT2000}: Highlights of Satisfiability Research in the Year 2000",
   pages =        "283--292",
   publisher =    "IOS Press",
   year =         "2000"
@@ -9396,7 +9399,7 @@ @TechReport{kloessner-et-al-tr2022
   year =         "2022"
 }
 
-@TechReport{kloessner-et-al-tr2023,
+@Misc{kloessner-et-al-tr2023,
   author =       "Thorsten Kl{\"o}{\ss}ner and \'{A}lvaro Torralba and Marcel Steinmetz and Silvan Sievers",
   title =        "A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems -- Technical Report",
   crossref =     "icaps2023",
@@ -10576,6 +10579,7 @@ @InCollection{luks-dimacs1993
   series =       "{DIMACS} Series in Discrete Mathematics and
                   Theoretical Computer Science",
   volume =       "11",
+  publisher =    "American Mathematical Society",
   pages =        "139--175",
   year =         "1993"
 }
@@ -10877,7 +10881,7 @@ @Book{mausam-kolobov-2012
   author =       "Mausam and Andrey Kolobov",
   title =        "Planning with Markov Decision Processes: An {AI} Perspective",
   series =       "Synthesis Lectures on Artificial Intelligence and Machine Learning",
-  publisher =    "Morgan {\&} Claypool Publishers",
+  publisher =    "Morgan \& Claypool",
   year =         "2012"
 }
 
@@ -10895,7 +10899,7 @@ @InProceedings{mccarthy-tcmtp1958
   author =       "John Mc{C}arthy",
   title =        "Programs with Common Sense",
   pages =        "75--91",
-  booktile =     "Proceedings of the {T}eddington Conference on the Mechanization
+  booktitle =    "Proceedings of the {T}eddington Conference on the Mechanization
                   of Thought Processes",
   year =         "1958",
   publisher =    "Her Majesty's Stationary Office, London"
@@ -15818,16 +15822,6 @@ @InProceedings{wehrle-et-al-ijcai2016
   crossref =     "ijcai2016"
 }
 
-@Misc{wehrle-et-al-jair2015-submitted,
-  author =       "Martin Wehrle and Malte Helmert and Yusra Alkhazraji
-                  and Robert Mattm{\"u}ller",
-  title =        "The Relative Pruning Power of Partial Order
-                  Reduction Techniques from Planning and Computer
-                  Aided Verification",
-  howpublished = "Submitted to \emph{JAIR}",
-  note =         "Under review"
-}
-
 @InProceedings{wehrle-helmert-icaps2012,
   author =       "Martin Wehrle and Malte Helmert",
   title =        "About Partial Order Reduction in Planning and

tests/paper/.gitignore

@@ -0,0 +1,8 @@
+*.aux
+*.bbl
+*.blg
+*.fdb_latexmk
+*.fls
+*.log
+*.pdf
+*.synctex.gz

tests/paper/Makefile

@@ -0,0 +1,23 @@
+PREFIX = paper
+PREFIXSHORT = paper-short
+LATEX = pdflatex -interaction=nonstopmode -halt-on-error
+BIBTEX = bibtex
+BIBINPUTS = ../../
+SHELL = /bin/bash
+
+paper:
+	$(LATEX) $(PREFIX).tex
+	$(BIBTEX) -min-crossrefs=99 $(PREFIX)
+	$(LATEX) $(PREFIX).tex
+	$(LATEX) $(PREFIX).tex
+	$(LATEX) $(PREFIX).tex
+
+paper-short:
+	$(LATEX) $(PREFIXSHORT).tex
+	$(BIBTEX) -min-crossrefs=99 $(PREFIXSHORT)
+	$(LATEX) $(PREFIXSHORT).tex
+	$(LATEX) $(PREFIXSHORT).tex
+	$(LATEX) $(PREFIXSHORT).tex
+
+clean:
+	rm -f *~ {$(PREFIX),$(PREFIXSHORT)}.{aux,bbl,blg,fdb_latexmk,fls,log,out,synctex.gz}