Miroslav Olšák

Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures

Libor Barto, Michael Kompatscher, Miroslav Olšák et al. · Journal of Mathematical Logic · 2019 · 26 citations

Natural Sciences, Computer Science, Mathematics +11

Property Invariant Embedding for Automated Reasoning

Miroslav Olšák, Cezary Kaliszyk, Josef Urban · arXiv (Cornell University) · 2019 · 18 citations · Full text

Computing, Computer Science, Artificial Intelligence +16

The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems

Libor Barto, Michael Kompatscher, Miroslav Olšák et al. · Logic in Computer Science · 2017 · 17 citations

Computing, Computer Science, Mathematics +11

The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems

Libor Barto, Michael Kompatscher, Miroslav Olšák et al. · 2017 · 17 citations

Computing, Computer Science, Mathematics +11

Dichotomy for Symmetric Boolean PCSPs

Miron Ficak, Marcin Kozik, Miroslav Olšák et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 11 citations · Full text

Computing, Computer Science, Mathematics +10