HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Mikolas Janota

Publications
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
A Mathematical Benchmark for Inductive Theorem Provers
Thibault Gauthier, Chad Brown, Mikolas Janota and Josef Urban
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
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
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

Keyphrases

arithmetic, automated theorem provers, benchmark, CEGAR, conflict analysis, EPR, finite model finder, induction, inductive theorem provers, infinite model, OEIS, QBF2, quantification, quantifier elimination, SAT, SMT2, strategies, SyGuS.

Copyright © 2012-2023 easychair.org. All rights reserved.