Author:Bernardo Subercaseaux

Publications
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