PPaperPicks

Michael Codish

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2

Frequent coauthors

Marek Danco
DBLP profile ↗ORCID search ↗
×1
Mikolás Janota
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Complete Symmetry Breaking for Finite Models
    AAAI 2025 ·
    Marek Danco
    DBLP profile ↗ORCID search ↗
  2. SAT-Based Techniques for Lexicographically Smallest Finite Models
    AAAI 2024 ·
    Mikolás Janota
    DBLP profile ↗ORCID search ↗