178 citations · 191 across the 7 of their papers we have counts for
1 paper · 1 filter
Kristen L. Pudenz, Gregory S. Tallant, Todd R. Belote +1
The utility of satisfiability (SAT) as an application focused hard computational problem is well established. We explore the potential of quantum annealing to enhance classical SAT…