de la Banda, Maria Garcia

6 publications

ICCV 2025 NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning Zhixi Cai, Fucai Ke, Simindokht Jahangard, Maria Garcia de la Banda, Reza Haffari, Peter J. Stuckey, Hamid Rezatofighi

AAAI 2024 Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace

AAAI 2020 Modelling Diversity of Solutions Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack

AAAI 2020 Modelling and Solving Online Optimisation Problems Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack

IJCAI 2015 Towards Automatic Dominance Breaking for Constraint Optimization Problems Christopher Mears, Maria Garcia de la Banda

IJCAI 2011 Symmetries and Lazy Clause Generation Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears