Mikolas Janota
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LPAR | First Experiments with Neural cvc5. | Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv |
| 2023 | FMCAD | The FMCAD 2023 Student Forum. | Mikolas Janota, Nina Narodytska |
| 2023 | LPAR | A Mathematical Benchmark for Inductive Theorem Provers. | Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban |
| 2023 | LPAR | Experiments on Infinite Model Finding in SMT Solving. | Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk |
| 2018 | LPAR | Towards Smarter MACE-style Model Finders. | Mikolas Janota, Martin Suda |
| 2016 | AAAI | Extension Variables in QBF Resolution. | Olaf Beyersdorff, Leroy Chew, Mikolas Janota |
| 2015 | AAAI | Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. | Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl |
| 2014 | MFCS | On Unification of QBF Resolution-Based Calculi. | Olaf Beyersdorff, Leroy Chew, Mikolas Janota |