A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph

Nicholas Chancellor, Stefan Zohren, Paul A. Warburton +2

We demonstrate a direct mapping of max k-SAT problems (and weighted max k-SAT) to a Chimera graph, which is the non-planar hardware graph of the devices built by D-Wave Systems Inc…