Mikoláš Janota
7 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐝 Cross-Pollinator (13) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (12) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge
🧭
Keyword Pioneer
🏆
Keyword Champion
(2)
🚀
Conference Pioneer
Conferences
AAAI (4)
IJCAI (3)
Top co-authors
Keywords
symmetry breaking
(2)
algebraic structure
(2)
finite model
(2)
sat solving
(2)
sat solver
(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)
sat modulo symmetries
(1)
zero-shot learning
(1)
counterexample-guided inductive synthesis
(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
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
AAAI 2025
Complete Symmetry Breaking for Finite Models
AAAI 2025
SAT-Based Techniques for Lexicographically Smallest Finite Models
AAAI 2024
Solving QBF by Clause Selection
IJCAI 2015
Efficient Model Based Diagnosis with Maximum Satisfiability
IJCAI 2015
On Computing Minimal Correction Subsets
IJCAI 2013