Add pages for speck-helmert-ecai2025.

speckdavid · speckdavid · commit bd210d66efaa · 2025-10-31T11:44:41.000+01:00
diff --git a/literatur.bib b/literatur.bib
@@ -16312,11 +16312,11 @@ @Misc{speck-gnad-zenodo2024
   howpublished = "\url{https://doi.org/10.5281/zenodo.10777533}"
 }
 
-% TODO(David): add pages.
 @InProceedings{speck-helmert-ecai2025,
   author =       "David Speck and Malte Helmert",
   title =        "On Performance Guarantees for Symbolic Search in Classical Planning",
-  crossref =     "ecai2025"
+  crossref =     "ecai2025",
+  pages =        "4628--4636"
 }
 
 @Misc{speck-helmert-zenodo2025,

Original file line number	Diff line number	Diff line change
`@@ -16312,11 +16312,11 @@ @Misc{speck-gnad-zenodo2024`
`16312`	`16312`	`howpublished = "\url{https://doi.org/10.5281/zenodo.10777533}"`
`16313`	`16313`	`}`
`16314`	`16314`
`16315`		`-% TODO(David): add pages.`
`16316`	`16315`	`@InProceedings{speck-helmert-ecai2025,`
`16317`	`16316`	`author = "David Speck and Malte Helmert",`
`16318`	`16317`	`title = "On Performance Guarantees for Symbolic Search in Classical Planning",`
`16319`		`- crossref = "ecai2025"`
	`16318`	`+ crossref = "ecai2025",`
	`16319`	`+ pages = "4628--4636"`
`16320`	`16320`	`}`
`16321`	`16321`
`16322`	`16322`	`@Misc{speck-helmert-zenodo2025,`