A Practical Application of Sharing and Freeness Inference. - Maria J. García de la Banda; Manuel V. Hermenegildo (WSA, 1992)

Independence in Constraint Logic Programs. - Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott (ICLP Workshop on Concurrent Constraint Programming, 1993)

Contextual Nets and Constraint Logic Programming. - Ugo Montanari; Francesca Rossi 001; Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (ICLP Workshop on Concurrent Constraint Programming, 1993)

A Practical Approach to the Global Analysis of CLP Programs. - Maria J. García de la Banda; Manuel V. Hermenegildo (ILPS, 1993)

Goal Dependent versus Goal Independent Analysis of Logic Programs. - Michael Codish; Maria J. García de la Banda; Maurice Bruynooghe; Manuel V. Hermenegildo (LPAR, 1994)

A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. - Francisco Bueno; Maria Garcia de la Banda; Manuel V. Hermenegildo (PASCO, 1994)

Analyzing Logic Programs with Dynamic Scheduling. - Kim Marriott; Maria J. García de la Banda; Manuel V. Hermenegildo (POPL, 1994)

Towards a Concurrent Semantics based Analysis of CC and CLP. - Ugo Montanari; Francesca Rossi 001; Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (PPCP, 1994)

Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (ILPS, 1994)

Independence, Global analysis, and parallelism, in dinamically scheduled constraint logic programming. - Maria Garcia de la Banda (1994)

Efficient Analysis of Logic Programs with Dynamic Scheduling. - Maria J. García de la Banda; Kim Marriott; Peter J. Stuckey (ILPS, 1995)

Improving Abstract Interpretations by Combining Domains. - Michael Codish; Anne Mulkers; Maurice Bruynooghe; Maria J. García de la Banda; Manuel V. Hermenegildo (ACM Trans. Program. Lang. Syst., 1995)

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. - Manuel V. Hermenegildo; Francisco Bueno; Daniel Cabeza; Manuel Carro; Maria J. García de la Banda; Pedro López-García 001; Germán Puebla (APPIA-GULP-PRODE, 1996)

Independence in Dynamically Scheduled Logic Languages. - Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott (ALP, 1996)

Towards Independent And-Parallelism in CLP. - Maria J. García de la Banda; Francisco Bueno; Manuel V. Hermenegildo (PLILP, 1996)

Global Analysis of Constraint Logic Programs. - Maria J. García de la Banda; Manuel V. Hermenegildo; Maurice Bruynooghe; Veroniek Dumortier; Gerda Janssens; Wim Simoens (ACM Trans. Program. Lang. Syst., 1996)

Optimization of Logic Programs with Dynamic Scheduling. - Germán Puebla; Maria J. García de la Banda; Kim Marriott; Peter J. Stuckey (ICLP, 1997)

Exploiting Goal Independence in the Analysis of Logic Programs. - Michael Codish; Maurice Bruynooghe; Maria J. García de la Banda; Manuel V. Hermenegildo (J. Log. Program., 1997)

Differential Methods in Logic Program Analysis. - Maria J. García de la Banda; Kim Marriott; Peter J. Stuckey; Harald Søndergaard (J. Log. Program., 1998)

An Overview of HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; Peter J. Stuckey (CP, 1999)

Herbrand Constraint Solving in HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; Peter J. Stuckey (ICLP, 1999)

Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. - Kalyan Muthukumar; Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (J. Log. Program., 1999)

Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (ACM Trans. Program. Lang. Syst., 1999)

Model Checking in HAL. - Maria J. García de la Banda; Peter J. Stuckey; Warwick Harvey; Kim Marriott (Computational Logic, 2000)

A Model for Inter-module Analysis and Optimizing Compilation. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott; Germán Puebla; Peter J. Stuckey (LOPSTR (LNCS 2042: Selected Papers), 2000)

Independence in CLP languages. - Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott (ACM Trans. Program. Lang. Syst., 2000)

Building Constraint Solvers with HAL. - Maria J. García de la Banda; David Jeffery; Kim Marriott; Nicholas Nethercote; Peter J. Stuckey; Christian Holzbaur (ICLP, 2001)

Optimizing Compilation of Constraint Handling Rules. - Christian Holzbaur; Maria J. García de la Banda; David Jeffery; Peter J. Stuckey (ICLP, 2001)

To the Gates of HAL: A HAL Tutorial. - Maria J. García de la Banda; Bart Demoen; Kim Marriott; Peter J. Stuckey (FLOPS, 2002)

Trailing Analysis for HAL. - Tom Schrijvers; Maria J. García de la Banda; Bart Demoen (ICLP, 2002)

Finding all minimal unsatisfiable subsets. - Maria J. García de la Banda; Peter J. Stuckey; Jeremy Wazny (PPDP, 2003)

ViMer: a visual debugger for mercury. - M. Cameron; Maria J. García de la Banda; Kim Marriott; Peter Moulder (PPDP, 2003)

Extending arbitrary solvers with constraint handling rules. - Gregory J. Duck; Peter J. Stuckey; Maria J. García de la Banda; Christian Holzbaur (PPDP, 2003)

Set-Sharing Is Not Always Redundant for Pair-Sharing. - Francisco Bueno; Maria J. García de la Banda (FLOPS, 2004)

Compiling Ask Constraints. - Gregory J. Duck; Maria J. García de la Banda; Peter J. Stuckey (ICLP, 2004)

The Refined Operational Semantics of Constraint Handling Rules. - Gregory J. Duck; Peter J. Stuckey; Maria J. García de la Banda; Christian Holzbaur (ICLP, 2004)

Herbrand Constraints in HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; David Overton; Peter J. Stuckey (Program Development in Computational Logic, 2004)

A Generic Framework for Context-Sensitive Analysis of Modular Programs. - Germán Puebla; Jesús Correas; Manuel V. Hermenegildo; Francisco Bueno; Maria J. García de la Banda; Kim Marriott; Peter J. Stuckey (Program Development in Computational Logic, 2004)

The G12 Project: Mapping Solver Independent Models to Efficient Solutions. - Peter J. Stuckey; Maria J. García de la Banda; Michael J. Maher; Kim Marriott; John K. Slaney; Zoltan Somogyi; Mark Wallace 001; Toby Walsh (ICLP, 2005)

Pops: a Computational Tool for Modeling and Predicting Protease Specificity. - Sarah E. Boyd; Robert N. Pike; George B. Rudy; James C. Whisstock; Maria J. García de la Banda (J. Bioinform. Comput. Biol., 2005)

Checking modes of HAL programs. - Maria J. García de la Banda; Warwick Harvey; Kim Marriott; Peter J. Stuckey; Bart Demoen (Theory Pract. Log. Program., 2005)

Optimizing compilation of constraint handling rules in HAL. - Christian Holzbaur; Maria J. García de la Banda; Peter J. Stuckey; Gregory J. Duck (Theory Pract. Log. Program., 2005)

The Modelling Language Zinc. - Maria J. García de la Banda; Kim Marriott; Reza Rafeh; Mark Wallace 001 (CP, 2006)

Adding Constraint Solving to Mercury. - Ralph Becket; Maria J. García de la Banda; Kim Marriott; Zoltan Somogyi; Peter J. Stuckey; Mark Wallace 001 (PADL, 2006)

Improving PARMA trailing. - Tom Schrijvers; Bart Demoen; Maria J. García de la Banda; Peter J. Stuckey (Theory Pract. Log. Program., 2006)

From Zinc to Design Model. - Reza Rafeh; Maria J. García de la Banda; Kim Marriott; Mark Wallace 001 (PADL, 2007)

Dynamic Programming to Minimize the Maximum Number of Open Stacks. - Maria Garcia de la Banda; Peter J. Stuckey (INFORMS J. Comput., 2007)

Adding Search to Zinc. - Reza Rafeh; Kim Marriott; Maria Garcia de la Banda; Nicholas Nethercote; Mark Wallace 001 (CP, 2008)

A Novel Approach For Detecting Symmetries in CSP Models. - Christopher Mears; Maria J. García de la Banda; Mark Wallace 001; Bart Demoen (CPAIOR, 2008)

The Design of the Zinc Modelling Language. - Kim Marriott; Nicholas Nethercote; Reza Rafeh; Peter J. Stuckey; Maria Garcia de la Banda; Mark Wallace 001 (Constraints An Int. J., 2008)

Using Relaxations in Maximum Density Still Life. - Geoffrey Chu; Peter J. Stuckey; Maria Garcia de la Banda (CP, 2009)

On implementing symmetry detection. - Christopher Mears; Maria Garcia de la Banda; Mark Wallace 001 (Constraints An Int. J., 2009)

Automatically Exploiting Subproblem Equivalence in Constraint Programming. - Geoffrey Chu; Maria Garcia de la Banda; Peter J. Stuckey (CPAIOR, 2010)

Lock-free parallel dynamic programming. - Alex D. Stivala; Peter J. Stuckey; Maria Garcia de la Banda; Manuel V. Hermenegildo; Anthony Wirth (J. Parallel Distributed Comput., 2010)

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

Solving Talent Scheduling with Dynamic Programming. - Maria Garcia de la Banda; Peter J. Stuckey; Geoffrey Chu (INFORMS J. Comput., 2011)

Introduction to the 24th international conference on logic programming special issue. - Maria Garcia de la Banda; Enrico Pontelli (Theory Pract. Log. Program., 2011)

Exploiting subproblem dominance in constraint programming. - Geoffrey Chu; Maria Garcia de la Banda; Peter J. Stuckey (Constraints An Int. J., 2012)

Super: a web server to rapidly screen superposable oligopeptide fragments from the protein data bank. - James H. Collier; Arthur M. Lesk; Maria Garcia de la Banda; Arun Siddharth Konagurthu (Nucleic Acids Res., 2012)

Introduction to the special issue on Prolog systems. - Bart Demoen; Maria Garcia de la Banda (Theory Pract. Log. Program., 2012)

Redundant disequalities in the Latin Square problem. - Bart Demoen; Maria Garcia de la Banda (Constraints An Int. J., 2013)

A CLP heap solver for test case generation. - Elvira Albert; Maria J. García de la Banda; Miguel Gómez-Zamalloa; José Miguel Rojas; Peter J. Stuckey (Theory Pract. Log. Program., 2013)

A new statistical framework to assess structural alignment quality using information compression. - James H. Collier; Lloyd Allison; Arthur M. Lesk; Maria Garcia de la Banda; Arun Siddharth Konagurthu (Bioinform., 2014)

The future of optimization technology. - Maria Garcia de la Banda; Peter J. Stuckey; Pascal Van Hentenryck; Mark Wallace 001 (Constraints An Int. J., 2014)

Symmetries, almost symmetries, and lazy clause generation. - Geoffrey Chu; Maria Garcia de la Banda; Christopher Mears; Peter J. Stuckey (Constraints An Int. J., 2014)

Lightweight dynamic symmetry breaking. - Christopher Mears; Maria Garcia de la Banda; Bart Demoen; Mark Wallace 001 (Constraints An Int. J., 2014)

On Representing Protein Folding Patterns Using Non-Linear Parametric Curves. - Parthan Kasarapu; Maria Garcia de la Banda; Arun Siddharth Konagurthu (IEEE ACM Trans. Comput. Biol. Bioinform., 2014)

Redundant Sudoku rules. - Bart Demoen; Maria Garcia de la Banda (Theory Pract. Log. Program., 2014)

Towards Automatic Dominance Breaking for Constraint Optimization Problems. - Christopher Mears; Maria Garcia de la Banda (IJCAI, 2015)

A method for detecting symmetries in constraint models and its generalisation. - Christopher Mears; Maria Garcia de la Banda; Mark Wallace 001; Bart Demoen (Constraints An Int. J., 2015)

Learning from Learning Solvers. - Maxim Shishmarev; Christopher Mears; Guido Tack; Maria Garcia de la Banda (CP, 2016)

Visual search tree profiling. - Maxim Shishmarev; Christopher Mears; Guido Tack; Maria Garcia de la Banda (Constraints An Int. J., 2016)

Context-Sensitive Dynamic Partial Order Reduction. - Elvira Albert; Puri Arenas; Maria Garcia de la Banda; Miguel Gómez-Zamalloa; Peter J. Stuckey (CAV (1), 2017)

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 001 (CP, 2017)

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 001; Arthur M. Lesk; Arun Siddharth Konagurthu (DCC, 2017)

Statistical inference of protein structural alignments using information and compression. - James H. Collier; Lloyd Allison; Arthur M. Lesk; Peter J. Stuckey; Maria Garcia de la Banda; Arun Siddharth Konagurthu (Bioinform., 2017)

What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. - Sarah Goodwin; Christopher Mears; Tim Dwyer; Maria Garcia de la Banda; Guido Tack; Mark Wallace 001 (IEEE Trans. Vis. Comput. Graph., 2017)

Process Plant Layout Optimization: Equipment Allocation. - Gleb Belov; Tobias Czauderna; Maria Garcia de la Banda; Matthias Klapperstück; Ilankaikone Senthooran; Mitch Smith; Michael Wybrow; Mark Wallace 001 (CP, 2018)

Solver-Independent Large Neighbourhood Search. - Jip J. Dekker; Maria Garcia de la Banda; Andreas Schutt; Peter J. Stuckey; Guido Tack (CP, 2018)

Towards Semi-Automatic Learning-Based Model Transformation. - Kiana Zeighami; Kevin Leo; Guido Tack; Maria Garcia de la Banda (CP, 2018)

Optimal context-sensitive dynamic partial order reduction with observers. - Elvira Albert; Maria Garcia de la Banda; Miguel Gómez-Zamalloa; Miguel Isabel; Peter J. Stuckey (ISSTA, 2019)

Position Paper: From Multi-Agent Pathfinding to Pipe Routing. - Gleb Belov; Liron Cohen 002; Maria Garcia de la Banda; Daniel Harabor; Sven Koenig; Xinrui Wei (CoRR, 2019)

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

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

Aggregation and Garbage Collection for Online Optimization. - Alexander Ek; Maria Garcia de la Banda; Andreas Schutt; Peter J. Stuckey; Guido Tack (CP, 2020)

Core-Guided Model Reformulation. - Kevin Leo; Graeme Gange; Maria Garcia de la Banda; Mark Wallace 001 (CP, 2020)

From Multi-Agent Pathfinding to 3D Pipe Routing. - Gleb Belov; Wenbo Du 004; Maria Garcia de la Banda; Daniel Harabor; Sven Koenig; Xinrui Wei (SOCS, 2020)

On identifying statistical redundancy at the level of amino acid subsequences. - Sandun Rajapaksa; Dinithi Sumanaweera; Maria Garcia de la Banda; Peter J. Stuckey; David Abramson 001; Lloyd Allison; Arthur M. Lesk; Arun Siddharth Konagurthu (BIBM, 2021)

Human-Centred Feasibility Restoration. - Ilankaikone Senthooran; Matthias Klapperstück; Gleb Belov; Tobias Czauderna; Kevin Leo; Mark Wallace 001; Michael Wybrow; Maria Garcia de la Banda (CP, 2021)

Globalizing constraint models. - Kevin Leo; Christopher Mears; Guido Tack; Maria Garcia de la Banda (Artif. Intell., 2022)

On the reliability and the limits of inference of amino acid sequence alignments. - Sandun Rajapaksa; Dinithi Sumanaweera; Arthur M. Lesk; Lloyd Allison; Peter J. Stuckey; Maria Garcia de la Banda; David Abramson 001; Arun Siddharth Konagurthu (Bioinform., 2022)

Beyond Optimal Solutions for Real-World Problems (Invited Talk). - Maria Garcia de la Banda (CP, 2023)

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 (CP, 2023)

Addressing Problem Drift in UNHCR Fund Allocation. - Sameela Suharshani Wijesundara; Maria Garcia de la Banda; Guido Tack (CP, 2023)

Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles. - Piyumi R. Amarasinghe; Lloyd Allison; Peter J. Stuckey; Maria Garcia de la Banda; Arthur M. Lesk; Arun Siddharth Konagurthu (Bioinform., 2023)

Human-centred feasibility restoration in practice. - Ilankaikone Senthooran; Matthias Klapperstück; Gleb Belov; Tobias Czauderna; Kevin Leo; Mark Wallace 001; Michael Wybrow; Maria Garcia de la Banda (Constraints An Int. J., 2023)

The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences. - Sandun Rajapaksa; Lloyd Allison; Peter J. Stuckey; Maria Garcia de la Banda; Arun Siddharth Konagurthu (CoRR, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

Optimal dynamic partial order reduction with context-sensitive independence and observers. - Elvira Albert; Maria Garcia de la Banda; Miguel Gómez-Zamalloa; Miguel Isabel; Peter J. Stuckey (J. Syst. Softw., 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

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

NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. - 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; et al. (CoRR, 2024)

SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. - Elvira Albert; Maria Garcia de la Banda; Alejandro Hernández-Cerezo; Alexey Ignatiev; Albert Rubio; Peter J. Stuckey (Proc. ACM Program. Lang., 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques". - Elvira Albert; Maria Garcia de la Banda; Alejandro Hernández-Cerezo; Alexey Ignatiev; Albert Rubio; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 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 (CoRR, 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)

NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. - Zhixi Cai; Cristian Rojas Cardenas; Kevin Leo; Chenyuan Zhang; Kal Backman; Hanbing Li; Boying Li; Mahsa Ghorbanali; Stavya Datta; Lizhen Qu; Julian Gutierrez 001; Alexey Ignatiev; et al. (IEEE Robotics Autom. Lett., 2025)