Efficient Digital Quadratic Unconstrained Binary Optimization Solvers for SAT Problems

Robert Simon Fong, Yanming Song, Alexander Yosifov

Boolean satisfiability (SAT) is a propositional logic problem of determining whether an assignment of variables satisfies a Boolean formula. Many combinatorial optimization problem…