Andrew Haberlandt

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Auxiliary Variables

Top Venues

Publications

Andrew Haberlandt, Harrison Green, Marijn J. H. Heule
Effective Auxiliary Variables via Structured Reencoding. SAT (2023)
Andrew Haberlandt, Harrison Green, Marijn J. H. Heule
Effective Auxiliary Variables via Structured Reencoding. CoRR (2023)