PPaperPicks

Markus Kirchweger

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2CP ×1

Frequent coauthors

Tomás Peitl
×3
Stefan Szeider
×3
David Seka
×1
Hai Xia
×1
Mikolás Janota
×1

Papers

  1. Graph Choosability via SAT: Beyond the Nullstellensatz
    AAAI 2026 · Markus Kirchweger,
    Tomás Peitl
    ,
    David Seka
    ,
    Stefan Szeider
  2. Smart Cubing for Graph Search: A Comparative Study
    CP 2026 · Markus Kirchweger,
    Tomás Peitl
    ,
    Stefan Szeider
    ,
    Hai Xia
  3. Breaking Symmetries in Quantified Graph Search: A Comparative Study
    AAAI 2025 ·
    Mikolás Janota
    , Markus Kirchweger,
    Tomás Peitl
    ,
    Stefan Szeider