海量图书期刊资源，随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Frontiers of Combining Systems Volume 10483 || Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary ReportDixon, Clare; Finger, Marcelo · 2017