Abstract  Description  Claims  Drawing  Search report  Cited references 

Ising formulations of many np problems   [0027] 
The d-wave 2000q quantum computer technology overview   [0039] 
The traveling-salesman problem and minimum spanning trees   [0040]