Mikolas Janota

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Quantified Boolean Formulae

Top Venues

Electron. Colloquium Comput. Complex.

J. Satisf. Boolean Model. Comput.

Publications

Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv
First Experiments with Neural cvc5. LPAR (2024)
Chad E. Brown, Mikolas Janota, Mirek Olsák
Symbolic Computation for All the Fun. PAAR+SC²@IJCAR (2024)
Mikolas Janota, Nina Narodytska
The FMCAD 2023 Student Forum. FMCAD (2023)
Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban
A Mathematical Benchmark for Inductive Theorem Provers. LPAR (2023)
Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk
Experiments on Infinite Model Finding in SMT Solving. LPAR (2023)
Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban
A Mathematical Benchmark for Inductive Theorem Provers. CoRR (2023)
Jelle Piepenbrock, Josef Urban, Konstantin Korovin, Miroslav Olsák, Tom Heskes, Mikolas Janota
Machine Learning Meets The Herbrand Universe. CoRR (2022)
Mikolas Janota, Martin Suda
Towards Smarter MACE-style Model Finders. LPAR (2018)
Mikolas Janota, Radu Grigore, Vasco M. Manquinho
On the Quest for an Acyclic Graph. CoRR (2017)
Olaf Beyersdorff, Leroy Chew, Mikolas Janota
Extension Variables in QBF Resolution. Electron. Colloquium Comput. Complex. 23 (2016)
Mikolas Janota
On Exponential Lower Bounds for Partially Ordered Resolution. J. Satisf. Boolean Model. Comput. 10 (1) (2016)
Olaf Beyersdorff, Leroy Chew, Mikolas Janota
Extension Variables in QBF Resolution. AAAI Workshop: Beyond NP (2016)
Mikolas Janota
On Q-Resolution and CDCL QBF Solving. Electron. Colloquium Comput. Complex. 23 (2016)
Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. AAAI (2015)
Olaf Beyersdorff, Leroy Chew, Mikolas Janota
On Unification of QBF Resolution-Based Calculi. MFCS (2) (2014)
Mikolas Janota
MiFuMax - a Literate MaxSAT Solver. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Olaf Beyersdorff, Leroy Chew, Mikolas Janota
Proof Complexity of Resolution-based QBF Calculi. Electron. Colloquium Comput. Complex. 21 (2014)
Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Mikolas Janota, Leroy Chew, Olaf Beyersdorff
On Unification of QBF Resolution-Based Calculi. Electron. Colloquium Comput. Complex. 21 (2014)