Bernardo Subercaseaux

According to our database, Bernardo Subercaseaux authored at least 21 papers between 2019 and 2024.

Collaborative distances:

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

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

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 Bustamente, 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