@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, }