A quantum annealing approach for boolean satisfiability problem.

Juexiao Su, Tianheng Tu, Lei He

Browse the full DAC paper archive.