| 2025 | KR | Boolean Nearest Neighbor Language in the Knowledge Compilation Map. | Ondrej Cepek, Jelena Glisic |
| 2022 | FlAIRS | Switch lists in the landscape of knowledge representation languages. | Ondrej Cepek |
| 2022 | ISAIM | A Direct Equivalence-Testing Algorithm for SLRs. | Ondrej Cepek, James Weigle |
| 2020 | IJCAI | Switch-List Representations in a Knowledge Compilation Map. | Ondrej Cepek, Milos Chrom |
| 2020 | ISAIM | Approximating minimum representations of key Horn functions. | Kristf Brczi, Endre Boros, Ondrej Cepek, Petr Kucera, Kazuhisa Makino |
| 2020 | ISAIM | Compiling SL representations of Boolean functions into OBDDs. | Milos Chrom, Ondrej Cepek |
| 2017 | FCT | Strong Duality in Horn Minimization. | Endre Boros, Ondrej Cepek, Kazuhisa Makino |
| 2017 | IJCAI | On Minimum Representations of Matched Formulas (Extended Abstract). | Ondrej Cepek, Stefan Gursk, Petr Kucera |
| 2016 | ISAIM | A combinatorial min-max theorem and minimization of pure-Horn functions. | Endre Boros, Ondrej Cepek, Kazuhisa Makino |
| 2016 | ISAIM | Knowledge compilation from DNF to switch-list representations. | Ondrej Cepek, Radek Husek |
| 2014 | ISAIM | On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas. | Ondrej Cepek, Stefan Gursk |
| 2012 | ISAIM | Boolean functions with long prime implicants. | Ondrej Cepek, Petr Kucera, Stanislav Kurik |
| 2012 | SOFSEM | Properties of SLUR Formulae. | Ondrej Cepek, Petr Kucera, Vclav Vlcek |
| 2008 | AIMSA | Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models. | Roman Bartk, Ondrej Cepek |
| 2008 | SAC | Nested temporal networks with alternatives: recognition and tractability. | Roman Bartk, Ondrej Cepek |
| 2007 | FlAIRS | Temporal Networks with Alternatives: Complexity and Model. | Roman Bartk, Ondrej Cepek |
| 2006 | ICTAI | Incremental Filtering Algorithms for Precedence and Dependency Constraints. | Roman Bartk, Ondrej Cepek |
| 2004 | CP | Unary Resource Constraint with Optional Activities. | Petr Vilm, Roman Bartk, Ondrej Cepek |