Publications


I was previously a PhD student at Carnegie Mellon, where I was fortunate to work with Fraser Brown.

Effective Auxiliary Variables via Structured Reencoding Andrew Haberlandt*, Harrison Green*, and Marijn Heule In 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) *Co-first author [PDF] [Code] [Slides]