Bernardo Subercaseaux

50 papers A* 7A 3B 3C 2Misc 3Journal 29Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Accelerating Scientific Research with Gemini: Case Studies and Common Techniques. CoRR 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
2026	J	`jnl`	Automated Reencoding Meets Graph Theory. CoRR Benjamin Przybocki, Bernardo Subercaseaux, Marijn J. H. Heule
2026	J	`jnl`	Near-Optimal Encodings of Cardinality Constraints. CoRR Andrew Krapivin, Benjamin Przybocki, Bernardo Subercaseaux
2026	J	`jnl`	Price of Locality in Permutation Mastermind: Are TikTok influencers Chaotic Enough? CoRR Bernardo Subercaseaux
2025	J	`jnl`	A Demigod's Number for the Rubik's Cube. CoRR Arturo Merino, Bernardo Subercaseaux
2025	J	`jnl`	Asymptotically Smaller Encodings for Graph Problems and Scheduling. CoRR Bernardo Subercaseaux
2025	C	`conf`	Automated Symmetric Constructions in Discrete Geometry. CICM Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn Heule
2025	J	`jnl`	Automated Symmetric Constructions in Discrete Geometry. CoRR Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn J. H. Heule
2025	J	`jnl`	Explaining Proc. ACM Manag. Data Pablo Barceló, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux, José Verschae
2025	J	`jnl`	Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations. CoRR Pablo Barceló, Alexander Kozachinskiy, Miguel A. Romero Orth, Bernardo Subercaseaux, José Verschae
2025	J	`jnl`	From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT. CoRR Markus Kirchweger, Tomás Peitl, Bernardo Subercaseaux, Stefan Szeider
2025	A*	`conf`	Latency Guarantees for Caching with Delayed Hits. INFOCOM Keerthana Gurushankar, Noah G. Singer, Bernardo Subercaseaux
2025	J	`jnl`	Latency Guarantees for Caching with Delayed Hits. CoRR Keerthana Gurushankar, Noah G. Singer, Bernardo Subercaseaux
2025	J	`jnl`	On Computing Probabilistic Explanations for Decision Trees. J. Artif. Intell. Res. Marcelo Arenas, Pablo Barceló, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux
2025	J	`jnl`	Optimal and Efficient Partite Decompositions of Hypergraphs. CoRR Andrew Krapivin, Benjamin Przybocki, Nicolás Sanhueza-Matamala, Bernardo Subercaseaux
2025	A*	`conf`	Probabilistic Explanations for Linear Models. AAAI Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel
2025	J	`jnl`	Probabilistic Explanations for Linear Models. CoRR Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel
2025	A	`conf`	Unfolding Boxes with Local Constraints. CADE Long Qian, Eric Wang, Bernardo Subercaseaux, Marijn J. H. Heule
2025	J	`jnl`	Unfolding Boxes with Local Constraints. CoRR Long Qian, Eric Wang, Bernardo Subercaseaux, Marijn J. H. Heule
2024	—	`conf`	A Mathematical Analysis of PlaceIt: A Game of Perfect Online Sorting. CG Pablo Ruiz Cuevas, Casey Chock, Bernardo Subercaseaux
2024	A*	`conf`	A Uniform Language to Explain Decision Trees. KR Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux
2024	J	`jnl`	Assortment Optimization For Conference Goodies With Indifferent Attendees. CoRR Fernanda Gutiérrez, Bernardo Subercaseaux
2024	C	`conf`	Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane. CICM Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins
2024	B	`conf`	Formal Verification of the Empty Hexagon Number. ITP Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
2024	J	`jnl`	Formal Verification of the Empty Hexagon Number. CoRR Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
2024	J	`jnl`	PackIt! Gamified Rectangle Packing. CoRR Thomas Garrison, Marijn J. H. Heule, Bernardo Subercaseaux
2024	Misc	`conf`	PackIt!: Gamified Rectangle Packing. FUN Thomas Garrison, Marijn J. H. Heule, Bernardo Subercaseaux
2024	J	`jnl`	Pentagon Minimization without Computation. CoRR John Mackey, Bernardo Subercaseaux
2024	B	`conf`	Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition. LPAR Bernardo Subercaseaux
2023	J	`jnl`	A Symbolic Language for Interpreting Decision Trees. CoRR Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux
2023	J	`jnl`	Minimizing Pentagons in the Plane through Automated Reasoning. CoRR Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins
2023	—	`conf`	The Packing Chromatic Number of the Infinite Square Grid is 15. TACAS (1) Bernardo Subercaseaux, Marijn J. H. Heule
2023	J	`jnl`	The Packing Chromatic Number of the Infinite Square Grid is 15. CoRR Bernardo Subercaseaux, Marijn J. H. Heule
2023	B	`conf`	Toward Optimal Radio Colorings of Hypercubes via SAT-solving. LPAR Bernardo Subercaseaux, Marijn Heule
2022	A*	`conf`	Augmenting Online Algorithms with $\varepsilon$-Accurate Predictions. NeurIPS Anupam Gupta, Debmalya Panigrahi, Bernardo Subercaseaux, Kevin Sun
2022	A*	`conf`	On Computing Probabilistic Explanations for Decision Trees. NeurIPS Marcelo Arenas, Pablo Barceló, Miguel A. Romero Orth, Bernardo Subercaseaux
2022	J	`jnl`	On Computing Probabilistic Explanations for Decision Trees. CoRR Marcelo Arenas, Pablo Barceló, Miguel Romero, Bernardo Subercaseaux
2022	J	`jnl`	On the expressiveness of Lara: A proposal for unifying linear and relational algebra. Theor. Comput. Sci. Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux
2022	A	`conf`	The Packing Chromatic Number of the Infinite Square Grid Is at Least 14. SAT Bernardo Subercaseaux, Marijn J. H. Heule
2022	Misc	`conf`	Wordle Is NP-Hard. FUN Daniel Lokshtanov, Bernardo Subercaseaux
2022	J	`jnl`	Wordle is NP-hard. CoRR Daniel Lokshtanov, Bernardo Subercaseaux
2021	A*	`conf`	Foundations of Symbolic Languages for Model Interpretability. NeurIPS Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux
2021	J	`jnl`	Foundations of Symbolic Languages for Model Interpretability. CoRR Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux
2021	Misc	`conf`	The Computational Complexity of Evil Hangman. FUN Jérémy Barbay, Bernardo Subercaseaux
2020	J	`jnl`	Model Interpretability through the Lens of Computational Complexity. CoRR Pablo Barceló, Mikaël Monet, Jorge Pérez, Bernardo Subercaseaux
2020	A*	`conf`	Model Interpretability through the lens of Computational Complexity. NeurIPS Pablo Barceló, Mikaël Monet, Jorge Pérez, Bernardo Subercaseaux
2020	A	`conf`	On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra. ICDT Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux
2020	J	`jnl`	The Computational Complexity of Evil Hangman. CoRR Jérémy Barbay, Bernardo Subercaseaux
2019	—	`conf`	Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators. DEEM@SIGMOD Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux
2019	J	`jnl`	On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra. CoRR Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux