@misc{indiciae1c3053591c54,
  title = {Efficient Digital Quadratic Unconstrained Binary Optimization Solvers for SAT Problems},
  author = {Robert Simon Fong and Yanming Song and Alexander Yosifov},
  year = {2024},
  doi = {10.1088/1367-2630/ada572},
  url = {https://arxiv.org/abs/2408.03757},
  note = {Source identifier: 2408.03757}
}