quaasi16-michielsen.pdf

Solving hard 2-SAT problems on a D-Wave Two system, by Kristel Michielsen