Maria Garcia de la Banda

5 papers · 2015–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (15) 🐣 Hot Topic Early Bird

Venues

AAAI (3) ICCV (1) IJCAI (1)

Top co-authors

Peter J. Stuckey (3) Guido Tack (2) Mark Wallace (1) Grame Gange (1) Hamid Rezatofighi (1) Alexander Ek (1) Reza Haffari (1) Zhixi Cai (1) Fucai Ke (1) Andreas Schutt (1)

Research topics

Machine Learning (4) Mathematics & Optimization (2) Learning Types (2) Optimization (2) Artificial Intelligence (1) Computer Science (1) Computer Vision (1) Core AI · Artificial Intelligence (1) Core AI · Computer Vision (1) Core Methods (1) Foundations (1) Optimization & Theory (1)

Keywords

combinatorial optimization (1) decision making (1) visual grounding (1) online optimization (1) multi-objective optimization (1) vision-language model (1) model-based optimization (1) logic reasoning (1) sliding window (1) pareto frontier (1) maxsat solver (1) finite state automaton (1) neuro-symbolic reasoning (1) diverse solution (1) vision language (1) dynamic optimization (1) compositional method (1) algorithmic framework (1) model reformulation (1) satisfaction problem (1)

Papers

NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning ICCV 2025 Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning AAAI 2024 Modelling and Solving Online Optimisation Problems AAAI 2020 Modelling Diversity of Solutions AAAI 2020 Towards Automatic Dominance Breaking for Constraint Optimization Problems IJCAI 2015