卞正兵;费边·丘达克;威廉·麦克雷迪;艾丹·罗伊;罗伯托·塞巴斯蒂亚尼;斯特凡诺·瓦罗蒂 用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果。 (英语) Zbl 1496.68298号 Inf.计算。 275,文章ID 104609,35 p.(2020).MSC公司:68T20型 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bian}等人,《信息计算》。275,文章ID 104609,35 p.(2020;Zbl 1496.68298) 全文: 内政部 arXiv公司
卞正兵;费边·丘达克;威廉·麦克雷迪;艾丹·罗伊;罗伯托·塞巴斯蒂亚尼;斯特凡诺·瓦罗蒂 用量子退火器求解SAT和MaxSAT:基础和初步报告。 (英语) Zbl 1495.68201号 Dixon,Clare(编辑)等人,《联合系统的前沿》。2017年9月27日至29日在巴西巴西利亚举行的2017年FroCoS第11届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10483, 153-171 (2017).MSC公司:68T20型 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bian}等人,Lect。注释计算。科学。10483,153--171(2017;Zbl 1495.68201) 全文: 内政部 链接