Author:Mikoláš Janota

Publications
Vibe-Coded and Tuned: A State-of-the-Art SMT Solver for QF-LRA Mikoláš Janota and Jan Jakubův In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Compact Partial Symmetry Breaking for Graph Search Problems Michael Codish, Mikoláš Janota and Peter J. Stuckey In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Reintroducing the Second Player in EPR Leroy Chew, Mikoláš Janota, Miroslav Olšák and Martin Suda In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
First Experiments with Neural cvc5 Jelle Piepenbrock, Mikolas Janota, Josef Urban and Jan Jakubův In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Mathematical Benchmark for Inductive Theorem Provers Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Experiments on Infinite Model Finding in SMT Solving Julian Parsert, Chad Brown, Mikolas Janota and Cezary Kaliszyk In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Towards Smarter MACE-style Model Finders Mikolas Janota and Martin Suda In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
On Conflicts and Strategies in QBF Nikolaj Bjorner, Mikolas Janota and William Klieber In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Playing with Quantified Satisfaction Nikolaj Bjorner and Mikolas Janota In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Keyphrases

arithmetic, automated reasoning, automated theorem provers, benchmark, CEGAR², conflict analysis, EPR², finite model finder, graph symmetry, induction, inductive theorem provers, infinite model, machine learning, OEIS, PSPACE, QBF³, quantification, quantifier elimination, Ramsey graphs, SAT, Schaefer fragments, SMT², strategies, SyGuS, theorem proving.