Maria Garcia de la Banda

62 papers A* 5A 16B 4Journal 33Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
MATA: A Trainable Hierarchical Automaton System for Multi-Agent Visual Reasoning.
CoRR
Zhixi Cai, Fucai Ke, Kevin Leo, Sukai Huang, Maria Garcia de la Banda, Peter J. Stuckey, Hamid Rezatofighi
2025 A ed.
31st International Conference on Principles and Practice of Constraint Programming, CP 2025, Glasgow, Scotland, August 10-15, 2025
CP
Maria Garcia de la Banda
2025 J jnl
NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning.
CoRR
Zhixi Cai, Fucai Ke, Simindokht Jahangard, Maria Garcia de la Banda, Reza Haffari, Peter J. Stuckey, Hamid Rezatofighi
2025 J jnl
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.
IEEE Robotics Autom. Lett.
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi
2024 A* conf
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning.
AAAI
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
2024 J jnl
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.
CoRR
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez Santiago, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi
2024 J jnl
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques.
Proc. ACM Program. Lang.
Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey
2023 A conf
Addressing Problem Drift in UNHCR Fund Allocation.
CP
Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack
2023 A conf
Beyond Optimal Solutions for Real-World Problems (Invited Talk).
CP
Maria Garcia de la Banda
2023 A conf
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views.
CP
Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda, Michael Wybrow
2023 J jnl
Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles.
Bioinform.
Piyumi R. Amarasinghe, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arthur M. Lesk, Arun Siddharth Konagurthu
2023 J jnl
Human-centred feasibility restoration in practice.
Constraints An Int. J.
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
2023 J jnl
Optimal dynamic partial order reduction with context-sensitive independence and observers.
J. Syst. Softw.
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
2023 J jnl
The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences.
CoRR
Sandun Rajapaksa, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu
2022 J jnl
Globalizing constraint models.
Artif. Intell.
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2022 J jnl
On the reliability and the limits of inference of amino acid sequence alignments.
Bioinform.
Sandun Rajapaksa, Dinithi Sumanaweera, Arthur M. Lesk, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arun Siddharth Konagurthu
2021 A conf
Human-Centred Feasibility Restoration.
CP
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
2021 — conf
On identifying statistical redundancy at the level of amino acid subsequences.
BIBM
Sandun Rajapaksa, Dinithi Sumanaweera, Maria Garcia de la Banda, Peter J. Stuckey, David Abramson, Lloyd Allison, Arthur M. Lesk, Arun Siddharth Konagurthu
2020 A conf
Aggregation and Garbage Collection for Online Optimization.
CP
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
2020 A conf
Core-Guided Model Reformulation.
CP
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
2020 B conf
From Multi-Agent Pathfinding to 3D Pipe Routing.
SOCS
Gleb Belov, Wenbo Du, Maria Garcia de la Banda, Daniel Harabor, Sven Koenig, Xinrui Wei
2020 A* conf
Modelling Diversity of Solutions.
AAAI
Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack
2020 A* conf
Modelling and Solving Online Optimisation Problems.
AAAI
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
2019 A conf
Optimal context-sensitive dynamic partial order reduction with observers.
ISSTA
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
2019 J jnl
Position Paper: From Multi-Agent Pathfinding to Pipe Routing.
CoRR
Gleb Belov, Liron Cohen, Maria Garcia de la Banda, Daniel Harabor, Sven Koenig, Xinrui Wei
2018 A conf
Process Plant Layout Optimization: Equipment Allocation.
CP
Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstück, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace
2018 A conf
Solver-Independent Large Neighbourhood Search.
CP
Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
2018 A conf
Towards Semi-Automatic Learning-Based Model Transformation.
CP
Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda
2017 A conf
An Optimization Model for 3D Pipe Routing with Flexibility Constraints.
CP
Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace
2017 — conf
Context-Sensitive Dynamic Partial Order Reduction.
CAV (1)
Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey
2017 B conf
Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes.
DCC
Ramanan Subramanian, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M. Lesk, Arun Siddharth Konagurthu
2017 J jnl
Statistical inference of protein structural alignments using information and compression.
Bioinform.
James H. Collier, Lloyd Allison, Arthur M. Lesk, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu
2017 J jnl
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search.
IEEE Trans. Vis. Comput. Graph.
Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace
2016 A conf
Learning from Learning Solvers.
CP
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2016 J jnl
Visual search tree profiling.
Constraints An Int. J.
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2015 J jnl
A method for detecting symmetries in constraint models and its generalisation.
Constraints An Int. J.
Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen
2015 A* conf
Towards Automatic Dominance Breaking for Constraint Optimization Problems.
IJCAI
Christopher Mears, Maria Garcia de la Banda
2014 J jnl
A new statistical framework to assess structural alignment quality using information compression.
Bioinform.
James H. Collier, Lloyd Allison, Arthur M. Lesk, Maria Garcia de la Banda, Arun Siddharth Konagurthu
2014 J jnl
Lightweight dynamic symmetry breaking.
Constraints An Int. J.
Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace
2014 J jnl
On Representing Protein Folding Patterns Using Non-Linear Parametric Curves.
IEEE ACM Trans. Comput. Biol. Bioinform.
Parthan Kasarapu, Maria Garcia de la Banda, Arun Siddharth Konagurthu
2014 J jnl
Redundant Sudoku rules.
Theory Pract. Log. Program.
Bart Demoen, Maria Garcia de la Banda
2014 J jnl
Symmetries, almost symmetries, and lazy clause generation.
Constraints An Int. J.
Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey
2014 J jnl
The future of optimization technology.
Constraints An Int. J.
Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace
2013 A conf
Globalizing Constraint Models.
CP
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2013 J jnl
Redundant disequalities in the Latin Square problem.
Constraints An Int. J.
Bart Demoen, Maria Garcia de la Banda
2012 J jnl
Exploiting subproblem dominance in constraint programming.
Constraints An Int. J.
Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
2012 J jnl
Introduction to the special issue on Prolog systems.
Theory Pract. Log. Program.
Bart Demoen, Maria Garcia de la Banda
2012 J jnl
Redundant Sudoku Rules
CoRR
Bart Demoen, Maria Garcia de la Banda
2012 J jnl
Super: a web server to rapidly screen superposable oligopeptide fragments from the protein data bank.
Nucleic Acids Res.
James H. Collier, Arthur M. Lesk, Maria Garcia de la Banda, Arun Siddharth Konagurthu
2011 J jnl
Introduction to the 24th international conference on logic programming special issue.
Theory Pract. Log. Program.
Maria Garcia de la Banda, Enrico Pontelli
2011 J jnl
Solving Talent Scheduling with Dynamic Programming.
INFORMS J. Comput.
Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu
2011 A* conf
Symmetries and Lazy Clause Generation.
IJCAI
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears
2010 B conf
Automatically Exploiting Subproblem Equivalence in Constraint Programming.
CPAIOR
Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
2010 J jnl
Lock-free parallel dynamic programming.
J. Parallel Distributed Comput.
Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth
2009 J jnl
On implementing symmetry detection.
Constraints An Int. J.
Christopher Mears, Maria Garcia de la Banda, Mark Wallace
2009 A conf
Using Relaxations in Maximum Density Still Life.
CP
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda
2008 A conf
Adding Search to Zinc.
CP
Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace
2008 B ed.
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings
ICLP
Maria Garcia de la Banda, Enrico Pontelli
2008 J jnl
The Design of the Zinc Modelling Language.
Constraints An Int. J.
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace
2007 J jnl
Dynamic Programming to Minimize the Maximum Number of Open Stacks.
INFORMS J. Comput.
Maria Garcia de la Banda, Peter J. Stuckey
1994 — conf
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs.
PASCO
Francisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo
1994 — —
Independence, Global analysis, and parallelism, in dinamically scheduled constraint logic programming.
Maria Garcia de la Banda