Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results
Bian, Zhengbing, Chudak, Fabian, Macready, William, Roy, Aidan, Sebastiani, Roberto, Varotti, StefanoJournal:
Information and Computation
DOI:
10.1016/j.ic.2020.104609
Date:
August, 2020
File:
PDF, 3.62 MB
2020