Mikolas Janota

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