Mikolás Janota

9 papers at tracked venues · 4 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4 ECAI ×2 CIKM ×1 CP ×1 FM ×1

Frequent coauthors

Michael Codish

×3

Pedro Orvalho

×2

Vasco M. Manquinho

×2

Choiwah Chow

×2

João Araújo

×2

Markus Kirchweger

×1

Tomás Peitl

×1

Stefan Szeider

×1

Marek Danco

×1

João Jorge Araújo

×1

Jan Jakubuv

×1

Jelle Piepenbrock

×1

Papers

Breaking Symmetries in Quantified Graph Search: A Comparative Study
AAAI 2025 · Mikolás Janota,
Markus Kirchweger
,
Tomás Peitl
,
Stefan Szeider
Breaking Symmetries with Involutions
CP 2025 ·
Michael Codish
, Mikolás Janota
Complete Symmetry Breaking for Finite Models
AAAI 2025 ·
Marek Danco
, Mikolás Janota,
Michael Codish
,
João Jorge Araújo
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
AAAI 2025 ·
Pedro Orvalho
, Mikolás Janota,
Vasco M. Manquinho
Cube-Based Isomorph-Free Finite Model Finding
ECAI 2024 ·
Choiwah Chow
, Mikolás Janota,
João Araújo
Machine Learning for Quantifier Selection in cvc5
ECAI 2024 ·
Jan Jakubuv
, Mikolás Janota,
Jelle Piepenbrock
,
Josef Urban
SAT-Based Techniques for Lexicographically Smallest Finite Models
AAAI 2024 · Mikolás Janota,
Choiwah Chow
,
João Araújo
,
Michael Codish
,
Petr Vojtechovský
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
CIKM 2024 ·
Jan Hula
,
David Mojzísek
, Mikolás Janota
cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
FM 2024 ·
Pedro Orvalho
, Mikolás Janota,
Vasco M. Manquinho