@inproceedings{fiser-et-al-ijcai2021,
  author       = {Daniel Fi{\v{s}}er and Daniel Gnad and Michael Katz and J{\"o}rg
    Hoffmann},
  title        = {Custom-Design of FDR Encodings: The Case of Red-Black Planning},
  pages        = {4054--4061},
  editor       = {Zhi-Hua Zhou},
  booktitle    = {Proceedings of the 30th International Joint Conference on Artificial
    Intelligence (IJCAI 2021)},
  publisher    = {IJCAI},
  year         = 2021,
}