collaborators

1 paper

cs.ET2018

Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results

Zhengbing Bian, Fabian Chudak, William Macready +3

Quantum annealers (QAs) are specialized quantum computers that minimize objective functions over discrete variables by physically exploiting quantum effects. Current QA platforms a…