Bernardo Subercaseaux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
12
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FUN | A Demigod's Number for the Rubik's Cube. | Arturo Merino, Bernardo Subercaseaux |
| 2026 | FUN | Solving Small Rubik's Cubes as Slowly as Possible. | Jenny Quan, Noah Kim, Bernardo Subercaseaux, John Mackey |
| 2026 | FUN | Price of Locality in Permutation Mastermind: Are TikTok Influencers Chaotic Enough? | Bernardo Subercaseaux |
| 2026 | STOC | Optimal and Efficient Partite Decompositions of Hypergraphs. | Andrew Krapivin, Benjamin Przybocki, Nicols Sanhueza-Matamala, Bernardo Subercaseaux |
| 2026 | SAT | Near-Optimal Encodings of Cardinality Constraints. | Andrew Krapivin, Benjamin Przybocki, Bernardo Subercaseaux |
| 2026 | SAT | Automated Reencoding Meets Graph Theory. | Benjamin Przybocki, Bernardo Subercaseaux, Marijn J. H. Heule |
| 2025 | AAAI | Probabilistic Explanations for Linear Models. | Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel |
| 2025 | CADE | Unfolding Boxes with Local Constraints. | Long Qian, Eric Wang, Bernardo Subercaseaux, Marijn J. H. Heule |
| 2025 | INFOCOM | Latency Guarantees for Caching with Delayed Hits. | Keerthana Gurushankar, Noah G. Singer, Bernardo Subercaseaux |
| 2024 | FUN | PackIt!: Gamified Rectangle Packing. | Thomas Garrison, Marijn J. H. Heule, Bernardo Subercaseaux |
| 2024 | ITP | Formal Verification of the Empty Hexagon Number. | Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule |
| 2024 | KR | A Uniform Language to Explain Decision Trees. | Marcelo Arenas, Pablo Barcel, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux |
| 2024 | LPAR | Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition. | Bernardo Subercaseaux |
| 2023 | LPAR | Toward Optimal Radio Colorings of Hypercubes via SAT-solving. | Bernardo Subercaseaux, Marijn Heule |
| 2023 | TACAS | The Packing Chromatic Number of the Infinite Square Grid is 15. | Bernardo Subercaseaux, Marijn J. H. Heule |
| 2022 | FUN | Wordle Is NP-Hard. | Daniel Lokshtanov, Bernardo Subercaseaux |
| 2022 | SAT | The Packing Chromatic Number of the Infinite Square Grid Is at Least 14. | Bernardo Subercaseaux, Marijn J. H. Heule |
| 2021 | FUN | The Computational Complexity of Evil Hangman. | Jrmy Barbay, Bernardo Subercaseaux |
| 2020 | ICDT | On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra. | Pablo Barcel, Nelson Higuera, Jorge Prez, Bernardo Subercaseaux |
| 2019 | SIGMOD | Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators. | Pablo Barcel, Nelson Higuera, Jorge Prez, Bernardo Subercaseaux |