PPaperPicks

Hai Xia

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1CP ×1

Frequent coauthors

Stefan Szeider
×2
Markus Kirchweger
×1
Tomás Peitl
×1

Papers

  1. Smart Cubing for Graph Search: A Comparative Study
    CP 2026 ·
    Markus Kirchweger
    ,
    Tomás Peitl
    ,
    Stefan Szeider
    , Hai Xia
  2. SAT-Based Tree Decomposition with Iterative Cascading Policy Selection
    AAAI 2024 · Hai Xia,
    Stefan Szeider