量子计算是依赖于量子力学原理来获得解的一种新型计算模型,由于量子计算的并行计算能力,量子计算在解决某些特定问题时,它比经典......

可满足性（Satisfiability,SAT）问题是判定对于任意给定的一个合取范式（Conjunc-tive Normal Form,CNF）公式,是否存在对其变元的一个真......

作为自然计算的新领域,膜计算的目的是从生物细胞的结构和功能的模拟中,创建一种分布式并行计算模型,使得该模型具有良好的计算性......

在近半个世纪以来，算法研究始终是计算机科学研究的核心内容之一。 作为算法中的经典问题之一，可满足性问题(SAT)是人们证明的最......

可满足性问题(Satisfiability Problem,SAT)是计算科学的典型问题之一,目前有DP算法、SAT1.3算法和遗传算法等多种求解方法.文章根......