PPaperPicks

Alexey Ignatiev

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

DBLP profile ↗ORCID search ↗

Venues

CP ×2AAAI ×1IJCAI ×1KR ×1PLDI ×1

Frequent coauthors

João Marques-Silva
×4
Peter J. Stuckey
×4
Yacine Izza
×3
Hao Hu
×1
Sasha Rubin
×1
Jip J. Dekker
×1
Allen Z. Zhong
×1
Xuanxiang Huang
×1
António Morgado
×1
Jordi Planes
×1
Elvira Albert
×1
Maria Garcia de la Banda
×1

Papers

  1. Efficient Explanations for Rule Ensembles
    CP 2026 ·
    Hao Hu
    , Alexey Ignatiev,
    João Marques-Silva
  2. Most General Explanations of Tree Ensembles
    IJCAI 2025 ·
    Yacine Izza
    , Alexey Ignatiev,
    Sasha Rubin
    ,
    João Marques-Silva
    ,
    Peter J. Stuckey
  3. Towards Modern and Modular SAT for LCG (Short Paper)
    CP 2025 ·
    Jip J. Dekker
    , Alexey Ignatiev,
    Peter J. Stuckey
    ,
    Allen Z. Zhong
  4. Delivering Inflated Explanations
    AAAI 2024 ·
    Yacine Izza
    , Alexey Ignatiev,
    Peter J. Stuckey
    ,
    João Marques-Silva
  5. Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
    KR 2024 ·
    Yacine Izza
    ,
    Xuanxiang Huang
    ,
    António Morgado
    ,
    Jordi Planes
    , Alexey Ignatiev,
    João Marques-Silva
  6. SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
    PLDI 2024 ·
    Elvira Albert
    ,
    Maria Garcia de la Banda
    ,
    Alejandro Hernández-Cerezo
    , Alexey Ignatiev,
    Albert Rubio
    ,
    Peter J. Stuckey