首页>
外国专利>
Efficient distributed SAT and SAT-based distributed bounded model checking
Efficient distributed SAT and SAT-based distributed bounded model checking
展开▼
机译:高效的分布式SAT和基于SAT的分布式有界模型检查
展开▼
页面导航
摘要
著录项
相似文献
摘要
There is provided a method of solving a SAT problem comprising partitioning SAT-formula clauses in the SAT problem into a plurality of partitions. Each of said plurality of partitions is solved as a separate process each, thereby constituting a plurality of processes where each of said process communicates only with a subset of the plurality of processes.
展开▼