PPaperPicks

Tomás Peitl

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2CP ×1

Frequent coauthors

Markus Kirchweger
×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