Mikoláš Janota

7 papers · 2013–2025 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Gold 🚀 Conference Pioneer

Venues

AAAI (4) IJCAI (3)

Top co-authors

Joao Marques-Silva (3) Michael Codish (2) João Jorge Araújo (1) Antonio Morgado (1) Markus Kirchweger (1) Choiwah Chow (1) Federico Heras (1) Pedro Orvalho (1) Marek Dančo (1) Stefan Szeider (1)

Research topics

Computer Science (3) Foundations (3) Artificial Intelligence (2) Mathematics & Optimization (2) Mathematics (2) Knowledge & Reasoning (1) Machine Learning (1) Core AI (1) Learning Paradigms (1) Optimization & Theory (1) Reasoning (1)

Keywords

sat solver (2) symmetry breaking (2) algebraic structure (2) finite model (2) sat solving (2) maxsat solver (1) automated feedback (1) model enumeration (1) lexicographic ordering (1) fault localization (1) automated program repair (1) counterexample guided inductive synthesis (1) graph enumeration (1) zero-shot learning (1) sat modulo symmetries (1) first-order logic (1) program repair (1) maxsat solving (1) quantified boolean formula (1)

Papers

Breaking Symmetries in Quantified Graph Search: A Comparative Study AAAI 2025 Complete Symmetry Breaking for Finite Models AAAI 2025 Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization AAAI 2025 SAT-Based Techniques for Lexicographically Smallest Finite Models AAAI 2024 Efficient Model Based Diagnosis with Maximum Satisfiability IJCAI 2015 Solving QBF by Clause Selection IJCAI 2015 On Computing Minimal Correction Subsets IJCAI 2013