Mikolás Janota

According to our database, Mikolás Janota authored at least 96 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

SAT-Based Techniques for Lexicographically Smallest Finite Models.

Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Computing generating sets of minimal size in finite algebras.

Mikolás Janota, António Morgado, Petr Vojtechovský

J. Symb. Comput., 2023

Integrated lot-sizing and scheduling: Mitigation of uncertainty in demand and processing time by machine learning.

Mohammad Rohaninejad, Mikolás Janota, Zdenek Hanzálek

Eng. Appl. Artif. Intell., 2023

Graph Neural Networks For Mapping Variables Between Programs - Extended Version.

Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho

CoRR, 2023

Selecting Quantifiers for Instantiation in SMT.

Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

Experiments on Infinite Model Finding in SMT Solving.

Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

A Mathematical Benchmark for Inductive Theorem Provers.

Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Molecule Builder: Environment for Testing Reinforcement Learning Agents.

Petr Hyner, Jan Hula, Mikolás Janota

Proceedings of the 15th International Joint Conference on Computational Intelligence, 2023

Fast Heuristic for Ricochet Robots.

Jan Hula, David Adamczyk, Mikolás Janota

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

The FMCAD 2023 Student Forum.

Mikolas Janota, Nina Narodytska

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Data-driven Single Machine Scheduling Minimizing Weighted Number of Tardy Jobs.

Nikolai Antonov, Premysl Sucha, Mikolás Janota

Proceedings of the Progress in Artificial Intelligence, 2023

Graph Neural Networks for Mapping Variables Between Programs.

Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Symmetries for Cube-And-Conquer in Finite Model Finding.

João Araújo, Choiwah Chow, Mikolás Janota

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Machine Learning Meets The Herbrand Universe.

Jelle Piepenbrock, Josef Urban, Konstantin Korovin, Miroslav Olsák, Tom Heskes, Mikolas Janota

CoRR, 2022

TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version.

Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota

CoRR, 2022

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments.

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho

CoRR, 2022

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments.

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho

CoRR, 2022

Boosting isomorphic model filtering with invariants.

João Araújo, Choiwah Chow, Mikolás Janota

Constraints An Int. J., 2022

Abstract: Challenges and Solutions for Higher-Order SMT Proofs.

Chad E. Brown, Mikolás Janota, Cezary Kaliszyk

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022

MultIPAs: applying program transformations to introductory programming assignments for data augmentation.

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Towards Learning Quantifier Instantiation in SMT.

Mikolás Janota, Jelle Piepenbrock, Bartosz Piotrowski

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

SAT-Based Leximax Optimisation Algorithms.

Miguel Cabral, Mikolás Janota, Vasco M. Manquinho

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

TestSelector: Automatic Test Suite Selection for Student Projects.

Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Targeted Configuration of an SMT Solver.

Jan Hula, Jan Jakubuv, Mikolás Janota, Lukás Kubej

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

Guiding an Automated Theorem Prover with Neural Rewriting.

Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Quantified Boolean Formulas.

Olaf Beyersdorff, Mikolás Janota, Florian Lonsing, Martina Seidl

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

Learning Equational Theorem Proving.

Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban

CoRR, 2021

Characteristic Subsets of SMT-LIB Benchmarks.

Jan Jakubuv, Mikolás Janota, Andrew Reynolds

Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

First-Order Instantiation using Discriminating Terms.

Chad E. Brown, Mikolás Janota

Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

Graph Neural Networks for Scheduling of SMT Solvers.

Jan Hula, David Mojzísek, Mikolás Janota

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Fair and Adventurous Enumeration of Quantifier Instantiations.

Mikolás Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds

Proceedings of the Formal Methods in Computer Aided Design, 2021

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets.

Mikolás Janota, António Morgado, José Fragoso Santos, Vasco M. Manquinho

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Filtering Isomorphic Models by Invariants (Short Paper).

João Araújo, Choiwah Chow, Mikolás Janota

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

SAT-Based Encodings for Optimal Decision Trees with Explicit Paths.

Mikolás Janota, António Morgado

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2019

New Resolution-Based QBF Calculi and Their Proof Complexity.

Olaf Beyersdorff, Leroy Chew, Mikolás Janota

ACM Trans. Comput. Theory, 2019

PrideMM: A Solver for Relaxed Memory Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

CoRR, 2019

PrideMM: Second Order Model Checking for Memory Consistency Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

On Unordered BDDs and Quantified Boolean Formulas.

Mikolás Janota

Proceedings of the Progress in Artificial Intelligence, 2019

2018

Circuit-Based Search Space Pruning in QBF.

Mikolás Janota

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Towards Smarter MACE-style Model Finders.

Mikolas Janota, Martin Suda

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Towards Generalization in QBF Solving via Machine Learning.

Mikolás Janota

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

QFUN: Towards Machine Learning in QBF.

Mikolás Janota

CoRR, 2017

An Achilles' Heel of Term-Resolution.

Mikolás Janota

CoRR, 2017

Minimal sets on propositional formulae. Problems and reductions.

João Marques-Silva, Mikolás Janota, Carlos Mencía

Artif. Intell., 2017

An Achilles' Heel of Term-Resolution.

Mikolás Janota, João Marques-Silva

Proceedings of the Progress in Artificial Intelligence, 2017

On Minimal Corrections in ASP.

Mikolás Janota, João Marques-Silva

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

On the Quest for an Acyclic Graph.

Mikolás Janota, Radu Grigore, Vasco M. Manquinho

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

2016

On Exponential Lower Bounds for Partially Ordered Resolution.

Mikolas Janota

J. Satisf. Boolean Model. Comput., 2016

On Q-Resolution and CDCL QBF Solving.

Mikolas Janota

Electron. Colloquium Comput. Complex., 2016

Extension Variables in QBF Resolution.

Olaf Beyersdorff, Leroy Chew, Mikolas Janota

Electron. Colloquium Comput. Complex., 2016

Quantified maximum satisfiability.

Alexey Ignatiev, Mikolás Janota, João Marques-Silva

Constraints An Int. J., 2016

On the query complexity of selecting minimal sets for monotone predicates.

Mikolás Janota, João Marques-Silva

Artif. Intell., 2016

Solving QBF with counterexample guided refinement.

Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke

Artif. Intell., 2016

On Incremental Core-Guided MaxSAT Solving.

Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik

Proceedings of the Principles and Practice of Constraint Programming, 2016

On Intervals and Bounds in Bit-vector Arithmetic.

Mikolás Janota, Christoph M. Wintersteiger

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

2015

Expansion-based QBF solving versus Q-resolution.

Mikolás Janota, João Marques-Silva

Theor. Comput. Sci., 2015

Algorithms for computing backbones of propositional formulae.

Mikolás Janota, Inês Lynce, João Marques-Silva

AI Commun., 2015

Exploiting Resolution-Based Representations for MaxSAT Solving.

Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

On Conflicts and Strategies in QBF.

Nikolaj S. Bjørner, Mikolás Janota, William Klieber

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

Playing with Quantified Satisfaction.

Nikolaj S. Bjørner, Mikolás Janota

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

Efficient Model Based Diagnosis with Maximum Satisfiability.

João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Solving QBF by Clause Selection.

Mikolás Janota, João Marques-Silva

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs.

Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games.

Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder

J. Satisf. Boolean Model. Comput., 2014

MiFuMax - a Literate MaxSAT Solver.

Mikolas Janota

J. Satisf. Boolean Model. Comput., 2014

On the Query Complexity of Selecting Few Minimal Sets.

João Marques-Silva, Mikolás Janota

Electron. Colloquium Comput. Complex., 2014

On Unification of QBF Resolution-Based Calculi.

Mikolas Janota, Leroy Chew, Olaf Beyersdorff

Electron. Colloquium Comput. Complex., 2014

Proof Complexity of Resolution-based QBF Calculi.

Olaf Beyersdorff, Leroy Chew, Mikolas Janota

Electron. Colloquium Comput. Complex., 2014

Computing Minimal Sets on Propositional Formulae I: Problems & Reductions.

João Marques-Silva, Mikolás Janota

CoRR, 2014

Algorithms for computing minimal equivalent subformulas.

Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva

Artif. Intell., 2014

On lazy and eager interactive reconfiguration.

Mikolás Janota, Goetz Botterweck, João Marques-Silva

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Towards efficient optimization in package management systems.

Alexey Ignatiev, Mikolás Janota, João Marques-Silva

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

On Propositional QBF Expansions and Q-Resolution.

Mikolás Janota, João Marques-Silva

Electron. Colloquium Comput. Complex., 2013

Quantified Maximum Satisfiability: - A Core-Guided Approach.

Alexey Ignatiev, Mikolás Janota, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

On QBF Proofs and Preprocessing.

Mikolás Janota, Radu Grigore, João Marques-Silva

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

On Computing Minimal Correction Subsets.

João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov

Proceedings of the IJCAI 2013, 2013

Solving QBF with Free Variables.

William Klieber, Mikolás Janota, João Marques-Silva, Edmund M. Clarke

Proceedings of the Principles and Practice of Constraint Programming, 2013

Minimal Sets over Monotone Predicates in Boolean Formulae.

João Marques-Silva, Mikolás Janota, Anton Belov

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

PackUp: Tools for Package Upgradability Solving.

Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva

J. Satisf. Boolean Model. Comput., 2012

On Unit-Refutation Complete Formulae with Existentially Quantified Variables.

Lucas Bordeaux, Mikolás Janota, João Marques-Silva, Pierre Marquis

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

QBf-based boolean function bi-decomposition.

Huan Chen, Mikolás Janota, João Marques-Silva

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

On Computing Minimal Equivalent Subformulas.

Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Abstraction-Based Algorithm for 2QBF.

Mikolás Janota, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

cmMUS: A Tool for Circumscription-Based MUS Membership Testing.

Mikolás Janota, João Marques-Silva

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

On Deciding MUS Membership with QBF.

Mikolás Janota, João Marques-Silva

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

How to Complete an Interactive Configuration Process?

Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.

Mikolás Janota, Radu Grigore, João Marques-Silva

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

On Computing Backbones of Propositional Theories.

João Marques-Silva, Mikolás Janota, Inês Lynce

Proceedings of the ECAI 2010, 2010

2009

Algorithms for finding dispensable variables

Mikolás Janota, João Marques-Silva, Radu Grigore

CoRR, 2009

A Design of a Configurable Feature Model Configurator.

Goetz Botterweck, Mikolás Janota, Denny Schneeweiss

Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

CLOPS: A DSL for Command Line Options.

Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Do SAT Solvers Make Good Configurators?

Mikolás Janota

Proceedings of the Software Product Lines, 12th International Conference, 2008

Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.

Mikolás Janota, Victoria Kuzina, Andrzej Wasowski

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Formal Approach to Integrating Feature and Architecture Models.

Mikolás Janota, Goetz Botterweck

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Reasoning about Feature Models in Higher-Order Logic.

Mikolás Janota, Joseph Kiniry

Proceedings of the Software Product Lines, 11th International Conference, 2007

Reachability analysis for annotated code.

Mikolás Janota, Radu Grigore, Michal Moskal

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007