TY  - RPRT
TI  - Efficient Digital Quadratic Unconstrained Binary Optimization Solvers for SAT Problems
AU  - Robert Simon Fong
AU  - Yanming Song
AU  - Alexander Yosifov
PY  - 2024
DO  - 10.1088/1367-2630/ada572
UR  - https://arxiv.org/abs/2408.03757
ID  - 2408.03757
ER  -