@misc{indiciaeee7ae6b527c1,
  title = {Effective Auxiliary Variables via Structured Reencoding},
  author = {Andrew Haberlandt and Harrison Green and Marijn J. H. Heule},
  year = {2023},
  doi = {10.4230/lipics.sat.2023.11},
  url = {https://arxiv.org/abs/2307.01904},
  note = {Source identifier: 2307.01904}
}