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

Abstract

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. We further show that this mapping can be used to map a similar class of maximum satisfiability problems where the clauses are replaced by parity checks over potentially large… (More)
DOI: 10.1038/srep37107

Topics

6 Figures and Tables

Cite this paper

@inproceedings{Chancellor2016ADM, title={A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph}, author={Nicholas Chancellor and Stefan Zohren and P. A. Warburton and S. C. Benjamin and S. Roberts}, booktitle={Scientific reports}, year={2016} }