HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Mikolas Janota

Publications
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

CEGAR, conflict analysis, EPR, finite model finder, QBF2, quantification, quantifier elimination, SAT, SMT, strategies.

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