Author:Bernardo Subercaseaux

Publications
Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition Bernardo Subercaseaux In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Toward Optimal Radio Colorings of Hypercubes via SAT-solving Bernardo Subercaseaux and Marijn Heule In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning