PPaperPicks

Michael Codish

3 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2CP ×1

Frequent coauthors

Mikolás Janota
×3
Marek Danco
×1
João Jorge Araújo
×1
Choiwah Chow
×1
João Araújo
×1
Petr Vojtechovský
×1

Papers

  1. Breaking Symmetries with Involutions
    CP 2025 · Michael Codish,
    Mikolás Janota
  2. Complete Symmetry Breaking for Finite Models
    AAAI 2025 ·
    Marek Danco
    ,
    Mikolás Janota
    , Michael Codish,
    João Jorge Araújo
  3. SAT-Based Techniques for Lexicographically Smallest Finite Models
    AAAI 2024 ·
    Mikolás Janota
    ,
    Choiwah Chow
    ,
    João Araújo
    , Michael Codish,
    Petr Vojtechovský