Source: https://www.dwavesys.com/media/vbklsvbh/weightedmaxsat_v2.pdf