@inproceedings{ijcai2017p706, author = {Ondřej Čepek and Štefan Gurský and Petr Kučera}, title = {On Minimum Representations of Matched Formulas (Extended Abstract)}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {4980--4984}, year = {2017}, doi = {10.24963/ijcai.2017/706}, url = {https://doi.org/10.24963/ijcai.2017/706}, }