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

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 clau...

Descripción completa

Detalles Bibliográficos
Autores principales: Chancellor, N., Zohren, S., Warburton, P. A., Benjamin, S. C., Roberts, S.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Nature Publishing Group 2016
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5114552/
https://www.ncbi.nlm.nih.gov/pubmed/27857179
http://dx.doi.org/10.1038/srep37107

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5114552/
https://www.ncbi.nlm.nih.gov/pubmed/27857179
http://dx.doi.org/10.1038/srep37107

Ejemplares similares