@misc{indiciae143c4e7919ec,
  title = {Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness},
  author = {Vincent Derkinderen},
  year = {2024},
  url = {https://arxiv.org/abs/2407.17951},
  note = {Source identifier: 2407.17951}
}