论文部分内容阅读
在这篇论文我们在场为可满足性问题的一个古典平行的量算法。我们利用了发展在的量算法的古典并行[长的 G.L 和 L. 小, Phys。加快。一 69 (2004 ) 052303 ] ,以便另外的加速能被使用古典并行获得。量算法首先用数算法,然后由使用量寻找算法的量估计答案的数字,明确的答案被发现。