卞正兵;法比安·丘达克;威廉·麦克雷迪;艾丹·罗伊;罗伯托·塞巴斯蒂亚尼;斯特凡诺·瓦罗蒂 用量子退火器求解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） 全文： 内政部 链接