Bernardo Subercaseaux

According to our database, Bernardo Subercaseaux authored at least 41 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2026

Computing NP-hard Repetitiveness Measures via MAX-SAT.

Hideo Bannai, Keisuke Goto, Masakazu Ishihata, Shunsuke Kanda, Dominik Köppl, Takaaki Nishimoto, Bernardo Subercaseaux

ACM Trans. Algorithms, April, 2026

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery.

Benjamin Przybocki, John Mackey, Marijn J. H. Heule, Bernardo Subercaseaux

CoRR, April, 2026

Near-Optimal Encodings of Cardinality Constraints.

Andrew Krapivin, Benjamin Przybocki, Bernardo Subercaseaux

CoRR, March, 2026

Automated Reencoding Meets Graph Theory.

Benjamin Przybocki, Bernardo Subercaseaux, Marijn J. H. Heule

CoRR, March, 2026

Accelerating Scientific Research with Gemini: Case Studies and Common Techniques.

David P. Woodruff, Vincent Cohen-Addad, Lalit Jain, Jieming Mao, Song Zuo, MohammadHossein Bateni, Simina Brânzei, Michael P. Brenner, Lin Chen, Ying Feng, Lance Fortnow, Gang Fu, Ziyi Guan, Zahra Hadizadeh, Mohammad T. Hajiaghayi, Mahdi JafariRaviz, Adel Javanmard, Karthik C. S., Ken-ichi Kawarabayashi, Ravi Kumar, Silvio Lattanzi, Euiwoong Lee, Yi Li, Ioannis Panageas, Dimitris Paparas, Benjamin Przybocki, Bernardo Subercaseaux, Ola Svensson, Shayan Taherijam, Xuan Wu, Eylon Yogev, Morteza Zadimoghaddam, Samson Zhou, Yossi Matias, James Manyika, Vahab Mirrokni

CoRR, February, 2026

Optimal and Efficient Partite Decompositions of Hypergraphs.

Andrew Krapivin, Benjamin Przybocki, Nicolás Sanhueza-Matamala, Bernardo Subercaseaux

Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026

Price of Locality in Permutation Mastermind: Are TikTok Influencers Chaotic Enough?

Bernardo Subercaseaux

Proceedings of the 13th International Conference on Fun with Algorithms, 2026

Solving Small Rubik's Cubes as Slowly as Possible.

Jenny Quan, Noah Kim, Bernardo Subercaseaux, John Mackey

Proceedings of the 13th International Conference on Fun with Algorithms, 2026

A Demigod's Number for the Rubik's Cube.

Arturo Merino, Bernardo Subercaseaux

Proceedings of the 13th International Conference on Fun with Algorithms, 2026

2025

From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT.

Markus Kirchweger, Tomás Peitl, Bernardo Subercaseaux, Stefan Szeider

CoRR, November, 2025

Asymptotically Smaller Encodings for Graph Problems and Scheduling.

Bernardo Subercaseaux

CoRR, June, 2025

Explaining <i>k</i>-Nearest Neighbors: Abductive and Counterfactual Explanations.

Pablo Barceló, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux, José Verschae

Proc. ACM Manag. Data, May, 2025

Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations.

Pablo Barceló, Alexander Kozachinskiy, Miguel A. Romero Orth, Bernardo Subercaseaux, José Verschae

CoRR, January, 2025

On Computing Probabilistic Explanations for Decision Trees.

Marcelo Arenas, Pablo Barceló, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux

J. Artif. Intell. Res., 2025

Automated Symmetric Constructions in Discrete Geometry.

Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn Heule

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

Latency Guarantees for Caching with Delayed Hits.

Keerthana Gurushankar, Noah G. Singer, Bernardo Subercaseaux

Proceedings of the IEEE INFOCOM 2025, 2025

Unfolding Boxes with Local Constraints.

Long Qian, Eric Wang, Bernardo Subercaseaux, Marijn J. H. Heule

Proceedings of the Automated Deduction - CADE 30, 2025

Probabilistic Explanations for Linear Models.

Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

EmptyHexagonLean.

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule

Dataset, November, 2024

Pentagon Minimization without Computation.

John Mackey, Bernardo Subercaseaux

CoRR, 2024

Assortment Optimization For Conference Goodies With Indifferent Attendees.

Fernanda Gutiérrez, Bernardo Subercaseaux

CoRR, 2024

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane.

Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition.

Bernardo Subercaseaux

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

A Uniform Language to Explain Decision Trees.

Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Formal Verification of the Empty Hexagon Number.

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

PackIt!: Gamified Rectangle Packing.

Thomas Garrison, Marijn J. H. Heule, Bernardo Subercaseaux

Proceedings of the 12th International Conference on Fun with Algorithms, 2024

A Mathematical Analysis of PlaceIt: A Game of Perfect Online Sorting.

Pablo Ruiz Cuevas, Casey Chock, Bernardo Subercaseaux

Proceedings of the Computers and Games - 12th International Conference, 2024

2023

Minimizing Pentagons in the Plane through Automated Reasoning.

Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins

CoRR, 2023

A Symbolic Language for Interpreting Decision Trees.

Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux

CoRR, 2023

The Packing Chromatic Number of the Infinite Square Grid is 15.

Bernardo Subercaseaux, Marijn J. H. Heule

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Toward Optimal Radio Colorings of Hypercubes via SAT-solving.

Bernardo Subercaseaux, Marijn Heule

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

On the expressiveness of Lara: A proposal for unifying linear and relational algebra.

Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux

Theor. Comput. Sci., 2022

The Packing Chromatic Number of the Infinite Square Grid Is at Least 14.

Bernardo Subercaseaux, Marijn J. H. Heule

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

On Computing Probabilistic Explanations for Decision Trees.

Marcelo Arenas, Pablo Barceló, Miguel A. Romero Orth, Bernardo Subercaseaux

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Augmenting Online Algorithms with $\varepsilon$-Accurate Predictions.

Anupam Gupta, Debmalya Panigrahi, Bernardo Subercaseaux, Kevin Sun

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Wordle Is NP-Hard.

Daniel Lokshtanov, Bernardo Subercaseaux

Proceedings of the 11th International Conference on Fun with Algorithms, 2022

2021

Foundations of Symbolic Languages for Model Interpretability.

Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

The Computational Complexity of Evil Hangman.

Jérémy Barbay, Bernardo Subercaseaux

Proceedings of the 10th International Conference on Fun with Algorithms, 2021

2020

Model Interpretability through the lens of Computational Complexity.

Pablo Barceló, Mikaël Monet, Jorge Pérez, Bernardo Subercaseaux

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra.

Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux

Proceedings of the 23rd International Conference on Database Theory, 2020

2019

Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators.

Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux

Proceedings of the 3rd International Workshop on Data Management for End-to-End Machine Learning, 2019