Andrew Haberlandt

According to our database, Andrew Haberlandt authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Effective Auxiliary Variables via Structured Reencoding.

Andrew Haberlandt, Harrison Green, Marijn J. H. Heule

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023