Author:Benjamin Przybocki

Publications
A SAT Attack on Tarski's High School Algebra Problem Bernardo Subercaseaux and Benjamin Przybocki In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Coloring Queens with Thousands of Encodings Bernardo Subercaseaux, Benjamin Przybocki and Marijn Heule In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning