[Lecture Notes in Computer Science] Frontiers of Combining Systems Volume 10483 || Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report

• 作者Dixon, Clare; Finger, Marcelo
• 文件大小574.59KB
• 发表时间2017
• DOI10.1007/978-3-319-66167-4_9
• 页码153-171