@misc{indiciaea0b1702fe436,
  title = {Automated Reencoding Meets Graph Theory},
  author = {Benjamin Przybocki and Bernardo Subercaseaux and Marijn J. H. Heule},
  year = {2026},
  url = {https://arxiv.org/abs/2603.27774},
  note = {Source identifier: 2603.27774}
}