Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results
Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results
复制标题
使用量子退火器求解 SAT 和 MaxSAT：基础、编码和初步结果
DOI：
--
复制
发表时间：
2018
影响因子：
1
通讯作者：
Stefano Varotti
中科院分区：
文献类型：
--
作者：
Zhengbing Bian;Fabián A. Chudak;W. Macready;Aidan Roy;R. Sebastiani;Stefano Varotti
理论和实践中更快的最小最大资源共享
影响因子：
6.3
作者：
D. Müller;K. Radke;J. Vygen
通讯作者：
J. Vygen
Max k-SAT 和高阶奇偶校验直接映射到 Chimera 图
DOI：
10.48550/arxiv.1604.00651
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Chancellor N
通讯作者：
Chancellor N