Maria Garcia de la Banda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
9
Active years
2008–2025
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICCV | 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 |
| 2024 | AAAI | Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace |
| 2023 | CP | Beyond Optimal Solutions for Real-World Problems (Invited Talk). | Maria Garcia de la Banda |
| 2023 | CP | Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views. | Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda, Michael Wybrow |
| 2023 | CP | Addressing Problem Drift in UNHCR Fund Allocation. | Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack |
| 2021 | CP | Human-Centred Feasibility Restoration. | Ilankaikone Senthooran, Matthias Klapperstck, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda |
| 2020 | AAAI | Modelling and Solving Online Optimisation Problems. | Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2020 | AAAI | Modelling Diversity of Solutions. | Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack |
| 2020 | CP | Aggregation and Garbage Collection for Online Optimization. | Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2020 | CP | Core-Guided Model Reformulation. | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace |
| 2020 | SoCS | From Multi-Agent Pathfinding to 3D Pipe Routing. | Gleb Belov, Wenbo Du, Maria Garcia de la Banda, Daniel Harabor, Sven Koenig, Xinrui Wei |
| 2019 | ISSTA | Optimal context-sensitive dynamic partial order reduction with observers. | Elvira Albert, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Miguel Isabel, Peter J. Stuckey |
| 2018 | CP | Process Plant Layout Optimization: Equipment Allocation. | Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstck, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace |
| 2018 | CP | Solver-Independent Large Neighbourhood Search. | Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2018 | CP | Towards Semi-Automatic Learning-Based Model Transformation. | Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda |
| 2017 | CAV | Context-Sensitive Dynamic Partial Order Reduction. | Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Peter J. Stuckey |
| 2017 | CP | An Optimization Model for 3D Pipe Routing with Flexibility Constraints. | Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace |
| 2017 | DCC | Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes. | Ramanan Subramanian, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M. Lesk, Arun Siddharth Konagurthu |
| 2016 | CP | Learning from Learning Solvers. | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
| 2015 | IJCAI | Towards Automatic Dominance Breaking for Constraint Optimization Problems. | Christopher Mears, Maria Garcia de la Banda |
| 2013 | CP | Globalizing Constraint Models. | Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
| 2011 | IJCAI | Symmetries and Lazy Clause Generation. | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears |
| 2010 | CPAIOR | Automatically Exploiting Subproblem Equivalence in Constraint Programming. | Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey |
| 2009 | CP | Using Relaxations in Maximum Density Still Life. | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda |
| 2008 | CP | Adding Search to Zinc. | Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace |