@misc{indiciae5b5dc9d1ca66,
  title = {SHA-256 Collision Attack with Programmatic SAT},
  author = {Nahiyan Alamgir and Saeed Nejati and Curtis Bright},
  year = {2024},
  url = {https://arxiv.org/abs/2406.20072},
  note = {Source identifier: 2406.20072}
}