6 citations · 6 across the 1 of their papers we have counts for
1 paper
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…