Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators. - Pablo Barceló; Nelson Higuera; Jorge Pérez 001; Bernardo Subercaseaux (DEEM@SIGMOD, 2019)

On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra. - Pablo Barceló; Nelson Higuera; Jorge Pérez 001; Bernardo Subercaseaux (ICDT, 2020)

Model Interpretability through the lens of Computational Complexity. - Pablo Barceló; Mikaël Monet; Jorge Pérez 001; Bernardo Subercaseaux (NeurIPS, 2020)

The Computational Complexity of Evil Hangman. - Jérémy Barbay; Bernardo Subercaseaux (FUN, 2021)

Foundations of Symbolic Languages for Model Interpretability. - Marcelo Arenas; Daniel Báez; Pablo Barceló; Jorge Pérez 001; Bernardo Subercaseaux (NeurIPS, 2021)

Wordle Is NP-Hard. - Daniel Lokshtanov; Bernardo Subercaseaux (FUN, 2022)

Augmenting Online Algorithms with $ varepsilon$-Accurate Predictions. - Anupam Gupta 001; Debmalya Panigrahi; Bernardo Subercaseaux; Kevin Sun 001 (NeurIPS, 2022)

On Computing Probabilistic Explanations for Decision Trees. - Marcelo Arenas; Pablo Barceló; Miguel A. Romero Orth; Bernardo Subercaseaux (NeurIPS, 2022)

The Packing Chromatic Number of the Infinite Square Grid Is at Least 14. - Bernardo Subercaseaux; Marijn J. H. Heule (SAT, 2022)

On the expressiveness of Lara: A proposal for unifying linear and relational algebra. - Pablo Barceló; Nelson Higuera; Jorge Pérez 001; Bernardo Subercaseaux (Theor. Comput. Sci., 2022)

Toward Optimal Radio Colorings of Hypercubes via SAT-solving. - Bernardo Subercaseaux; Marijn Heule (LPAR, 2023)

The Packing Chromatic Number of the Infinite Square Grid is 15. - Bernardo Subercaseaux; Marijn J. H. Heule (TACAS (1), 2023)

A Symbolic Language for Interpreting Decision Trees. - Marcelo Arenas; Pablo Barceló; Diego Bustamente; Jose Caraball; Bernardo Subercaseaux (CoRR, 2023)

Minimizing Pentagons in the Plane through Automated Reasoning. - Bernardo Subercaseaux; John Mackey; Marijn J. H. Heule; Ruben Martins (CoRR, 2023)

A Mathematical Analysis of PlaceIt: A Game of Perfect Online Sorting. - Pablo Ruiz Cuevas; Casey Chock; Bernardo Subercaseaux (CG, 2024)

PackIt!: Gamified Rectangle Packing. - Thomas Garrison; Marijn J. H. Heule; Bernardo Subercaseaux (FUN, 2024)

Formal Verification of the Empty Hexagon Number. - Bernardo Subercaseaux; Wojciech Nawrocki; James Gallicchio; Cayden R. Codel; Mario Carneiro; Marijn J. H. Heule (ITP, 2024)

A Uniform Language to Explain Decision Trees. - Marcelo Arenas; Pablo Barceló; Diego Bustamante; Jose Caraball; Bernardo Subercaseaux (KR, 2024)

Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition. - Bernardo Subercaseaux (LPAR, 2024)

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane. - Bernardo Subercaseaux; John Mackey; Marijn J. H. Heule; Ruben Martins (CICM, 2024)

Assortment Optimization For Conference Goodies With Indifferent Attendees. - Fernanda Gutiérrez; Bernardo Subercaseaux (CoRR, 2024)

Pentagon Minimization without Computation. - John Mackey; Bernardo Subercaseaux (CoRR, 2024)

EmptyHexagonLean. - Bernardo Subercaseaux; Wojciech Nawrocki; James Gallicchio; Cayden R. Codel; Mario Carneiro; Marijn J. H. Heule (DROPS Artifacts, 2024)

Probabilistic Explanations for Linear Models. - Bernardo Subercaseaux; Marcelo Arenas; Kuldeep S. Meel (AAAI, 2025)

Unfolding Boxes with Local Constraints. - Long Qian; Eric Wang; Bernardo Subercaseaux; Marijn J. H. Heule (CADE, 2025)

Latency Guarantees for Caching with Delayed Hits. - Keerthana Gurushankar; Noah G. Singer; Bernardo Subercaseaux (INFOCOM, 2025)

On Computing Probabilistic Explanations for Decision Trees. - Marcelo Arenas; Pablo Barceló; Alexander Kozachinskiy; Miguel Romero 001; Bernardo Subercaseaux (J. Artif. Intell. Res., 2025)

A Demigod's Number for the Rubik's Cube. - Arturo Merino; Bernardo Subercaseaux (CoRR, 2025)

Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations. - Pablo Barceló; Alexander Kozachinskiy; Miguel A. Romero Orth; Bernardo Subercaseaux; José Verschae (CoRR, 2025)

Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations. - Pablo Barceló; Alexander Kozachinskiy; Miguel Romero 001; Bernardo Subercaseaux; José Verschae (Proc. ACM Manag. Data, 2025)

Automated Symmetric Constructions in Discrete Geometry. - Bernardo Subercaseaux; Ethan Mackey; Long Qian; Marijn J. H. Heule (CoRR, 2025)

Asymptotically Smaller Encodings for Graph Problems and Scheduling. - Bernardo Subercaseaux (CoRR, 2025)