Maria Garcia de la Banda

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 29

Top Topics

Optimisation Problems

Neighbourhood Search

Partial Order Reduction

Top Venues

Constraints An Int. J.

Publications

Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. AAAI (2024)
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. 202 (2023)
Piyumi R. Amarasinghe, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arthur M. Lesk, Arun Siddharth Konagurthu
Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles. Bioinform. 39 (Supplement-1) (2023)
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
Human-centred feasibility restoration in practice. Constraints An Int. J. 28 (2) (2023)
Sandun Rajapaksa, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu
The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences. CoRR (2023)
Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack
Addressing Problem Drift in UNHCR Fund Allocation. CP (2023)
Maria Garcia de la Banda
Beyond Optimal Solutions for Real-World Problems (Invited Talk). CP (2023)
Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda, Michael Wybrow
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views. CP (2023)
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Globalizing constraint models. Artif. Intell. 302 (2022)
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
Human-Centred Feasibility Restoration. CP (2021)
Sandun Rajapaksa, Dinithi Sumanaweera, Maria Garcia de la Banda, Peter J. Stuckey, David Abramson, Lloyd Allison, Arthur M. Lesk, Arun Siddharth Konagurthu
On identifying statistical redundancy at the level of amino acid subsequences. BIBM (2021)
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
Core-Guided Model Reformulation. CP (2020)
Gleb Belov, Wenbo Du, Maria Garcia de la Banda, Daniel Harabor, Sven Koenig, Xinrui Wei
From Multi-Agent Pathfinding to 3D Pipe Routing. SOCS (2020)
Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack
Modelling Diversity of Solutions. AAAI (2020)
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
Aggregation and Garbage Collection for Online Optimization. CP (2020)
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
Modelling and Solving Online Optimisation Problems. AAAI (2020)
Gleb Belov, Liron Cohen, Maria Garcia de la Banda, Daniel Harabor, Sven Koenig, Xinrui Wei
Position Paper: From Multi-Agent Pathfinding to Pipe Routing. CoRR (2019)
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
Optimal context-sensitive dynamic partial order reduction with observers. ISSTA (2019)
Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
Solver-Independent Large Neighbourhood Search. CP (2018)
Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda
Towards Semi-Automatic Learning-Based Model Transformation. CP (2018)
Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstück, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace
Process Plant Layout Optimization: Equipment Allocation. CP (2018)
Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey
Context-Sensitive Dynamic Partial Order Reduction. CAV (1) (2017)
Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace
An Optimization Model for 3D Pipe Routing with Flexibility Constraints. CP (2017)
Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. IEEE Trans. Vis. Comput. Graph. 23 (1) (2017)
Ramanan Subramanian, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M. Lesk, Arun Siddharth Konagurthu
Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes. DCC (2017)
James H. Collier, Lloyd Allison, Arthur M. Lesk, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu
Statistical inference of protein structural alignments using information and compression. Bioinform. 33 (7) (2017)
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Visual search tree profiling. Constraints An Int. J. 21 (1) (2016)
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Learning from Learning Solvers. CP (2016)
Christopher Mears, Maria Garcia de la Banda
Towards Automatic Dominance Breaking for Constraint Optimization Problems. IJCAI (2015)
Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen
A method for detecting symmetries in constraint models and its generalisation. Constraints An Int. J. 20 (2) (2015)
Parthan Kasarapu, Maria Garcia de la Banda, Arun Siddharth Konagurthu
On Representing Protein Folding Patterns Using Non-Linear Parametric Curves. IEEE ACM Trans. Comput. Biol. Bioinform. 11 (6) (2014)
Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace
Lightweight dynamic symmetry breaking. Constraints An Int. J. 19 (3) (2014)
Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace
The future of optimization technology. Constraints An Int. J. 19 (2) (2014)
Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey
Symmetries, almost symmetries, and lazy clause generation. Constraints An Int. J. 19 (4) (2014)
Bart Demoen, Maria Garcia de la Banda
Redundant Sudoku rules. Theory Pract. Log. Program. 14 (3) (2014)
James H. Collier, Lloyd Allison, Arthur M. Lesk, Maria Garcia de la Banda, Arun Siddharth Konagurthu
A new statistical framework to assess structural alignment quality using information compression. Bioinform. 30 (17) (2014)
Bart Demoen, Maria Garcia de la Banda
Redundant disequalities in the Latin Square problem. Constraints An Int. J. 18 (4) (2013)
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Globalizing Constraint Models. CP (2013)
Bart Demoen, Maria Garcia de la Banda
Redundant Sudoku Rules CoRR (2012)
James H. Collier, Arthur M. Lesk, Maria Garcia de la Banda, Arun Siddharth Konagurthu
Super: a web server to rapidly screen superposable oligopeptide fragments from the protein data bank. Nucleic Acids Res. 40 (Web-Server-Issue) (2012)
Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
Exploiting subproblem dominance in constraint programming. Constraints An Int. J. 17 (1) (2012)
Bart Demoen, Maria Garcia de la Banda
Introduction to the special issue on Prolog systems. Theory Pract. Log. Program. 12 (1-2) (2012)
Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu
Solving Talent Scheduling with Dynamic Programming. INFORMS J. Comput. 23 (1) (2011)
Maria Garcia de la Banda, Enrico Pontelli
Introduction to the 24th international conference on logic programming special issue. Theory Pract. Log. Program. 11 (2-3) (2011)
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears
Symmetries and Lazy Clause Generation. IJCAI (2011)
Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
Automatically Exploiting Subproblem Equivalence in Constraint Programming. CPAIOR (2010)
Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth
Lock-free parallel dynamic programming. J. Parallel Distributed Comput. 70 (8) (2010)
Christopher Mears, Maria Garcia de la Banda, Mark Wallace
On implementing symmetry detection. Constraints An Int. J. 14 (4) (2009)
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda
Using Relaxations in Maximum Density Still Life. CP (2009)
Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace
Adding Search to Zinc. CP (2008)
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace
The Design of the Zinc Modelling Language. Constraints An Int. J. 13 (3) (2008)
Maria Garcia de la Banda, Peter J. Stuckey
Dynamic Programming to Minimize the Maximum Number of Open Stacks. INFORMS J. Comput. 19 (4) (2007)
Francisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. PASCO (1994)