BibTeX record conf/aips/KreftBSH23

• > Home > conf/aips/KreftBSH23

@inproceedings{DBLP:conf/aips/KreftBSH23,
  author       = {Raphael Kreft and
                  Clemens B{\"{u}}chner and
                  Silvan Sievers and
                  Malte Helmert},
  editor       = {Sven Koenig and
                  Roni Stern and
                  Mauro Vallati},
  title        = {Computing Domain Abstractions for Optimal Classical Planning with
                  Counterexample-Guided Abstraction Refinement},
  booktitle    = {Proceedings of the Thirty-Third International Conference on Automated
                  Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
  pages        = {221--226},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/icaps.v33i1.27198},
  doi          = {10.1609/ICAPS.V33I1.27198},
  timestamp    = {Wed, 20 Sep 2023 11:58:30 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/KreftBSH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}