On Minimum Representations of Matched Formulas (Extended Abstract).

Ondrej Cepek, Stefan Gursk, Petr Kucera

Browse the full IJCAI paper archive.