Janota, Mikolas

9 publications

AAAI 2025 Breaking Symmetries in Quantified Graph Search: A Comparative Study Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider

AAAI 2025 Complete Symmetry Breaking for Finite Models Marek Danco, Mikolás Janota, Michael Codish, João Jorge Araújo

AAAI 2025 Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-Based Fault Localization Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho

AAAI 2024 SAT-Based Techniques for Lexicographically Smallest Finite Models Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský

AAAI 2018 Towards Generalization in QBF Solving via Machine Learning Mikolás Janota

AAAI 2015 Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl

IJCAI 2015 Efficient Model Based Diagnosis with Maximum Satisfiability João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado

IJCAI 2015 Solving QBF by Clause Selection Mikolás Janota, João Marques-Silva

IJCAI 2013 On Computing Minimal Correction Subsets João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov