Miroslav Olsk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2017–2022
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ITP | The Isabelle ENIGMA. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsk, Jelle Piepenbrock, Josef Urban |
| 2021 | TABLEAUX | Learning Theorem Proving Components. | Karel Chvalovsk, Jan Jakubuv, Miroslav Olsk, Josef Urban |
| 2021 | TABLEAUX | The Role of Entropy in Guiding a Connection Prover. | Zsolt Zombori, Josef Urban, Miroslav Olsk |
| 2020 | CADE | ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description). | Jan Jakubuv, Karel Chvalovsk, Miroslav Olsk, Bartosz Piotrowski, Martin Suda, Josef Urban |
| 2020 | ECAI | Property Invariant Embedding for Automated Reasoning. | Miroslav Olsk, Cezary Kaliszyk, Josef Urban |
| 2019 | ICALP | Dichotomy for Symmetric Boolean PCSPs. | Miron Ficak, Marcin Kozik, Miroslav Olsk, Szymon Stankiewicz |
| 2019 | LICS | Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). | Manuel Bodirsky, Antoine Mottet, Miroslav Olsk, Jakub Oprsal, Michael Pinsker, Ross Willard |
| 2017 | LICS | The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems. | Libor Barto, Michael Kompatscher, Miroslav Olsk, Trung Van Pham, Michael Pinsker |