PPaperPicks

Maria Garcia de la Banda

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1CP ×1ICCV ×1PLDI ×1

Frequent coauthors

Peter J. Stuckey
×2
Zhixi Cai
×1
Fucai Ke
×1
Simindokht Jahangard
×1
Reza Haffari
×1
Hamid Rezatofighi
×1
Kevin Leo
×1
Graeme Gange
×1
Mark Wallace
×1
Elvira Albert
×1
Alejandro Hernández-Cerezo
×1
Alexey Ignatiev
×1

Papers

  1. 31st International Conference on Principles and Practice of Constraint Programming, CP 2025, Glasgow, Scotland, August 10-15, 2025
    CP 2025 · Maria Garcia de la Banda
  2. Naver: a Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
    ICCV 2025 ·
    Zhixi Cai
    ,
    Fucai Ke
    ,
    Simindokht Jahangard
    , Maria Garcia de la Banda,
    Reza Haffari
    ,
    Peter J. Stuckey
    ,
    Hamid Rezatofighi
  3. Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning
    AAAI 2024 ·
    Kevin Leo
    ,
    Graeme Gange
    , Maria Garcia de la Banda,
    Mark Wallace
  4. 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