PPaperPicks

Mikolás Janota

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4ECAI ×2CIKM ×1

Frequent coauthors

Marek Danco
DBLP profile ↗ORCID search ↗
×1
Pedro Orvalho
DBLP profile ↗ORCID search ↗
×1
Choiwah Chow
DBLP profile ↗ORCID search ↗
×1
Jan Jakubuv
DBLP profile ↗ORCID search ↗
×1
Jan Hula
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Breaking Symmetries in Quantified Graph Search: A Comparative Study
    AAAI 2025 · Mikolás Janota
  2. Complete Symmetry Breaking for Finite Models
    AAAI 2025 ·
    Marek Danco
    DBLP profile ↗ORCID search ↗
  3. Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
    AAAI 2025 ·
    Pedro Orvalho
    DBLP profile ↗ORCID search ↗
  4. Cube-Based Isomorph-Free Finite Model Finding
    ECAI 2024 ·
    Choiwah Chow
    DBLP profile ↗ORCID search ↗
  5. Machine Learning for Quantifier Selection in cvc5
    ECAI 2024 ·
    Jan Jakubuv
    DBLP profile ↗ORCID search ↗
  6. SAT-Based Techniques for Lexicographically Smallest Finite Models
    AAAI 2024 · Mikolás Janota
  7. Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
    CIKM 2024 ·
    Jan Hula
    DBLP profile ↗ORCID search ↗