@misc{indiciae136e1e635aa0,
  title = {Generating Extended Resolution Proofs with a BDD-Based SAT Solver},
  author = {Randal E. Bryant and Marijn J. H. Heule},
  year = {2023},
  url = {https://arxiv.org/abs/2105.00885},
  note = {Source identifier: 2105.00885}
}