Mikoláš Janota
4
Papers
6
Total Citations
Papers (4)
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
AAAI 2025
4
citations
Complete Symmetry Breaking for Finite Models
AAAI 2025
1
citations
SAT-Based Techniques for Lexicographically Smallest Finite Models
AAAI 2024arXiv
1
citations
Breaking Symmetries in Quantified Graph Search: A Comparative Study
AAAI 2025
0
citations