A quantum annealing approach for boolean satisfiability problem. - Juexiao Su; Tianheng Tu; Lei He 001 (DAC, 2016)