A short overview on modern parallel SAT-solvers

Steffen Holldobler,Norbert Manthey,Van Hau Nguyen,Julian Stecklina,Peter Steinke

Advanced Computer Science and Information System（2011）

引用 30|浏览6

暂无评分

摘要

This paper surveys modern parallel SAT-solvers. It focusses on recent successful techniques and points out weaknesses that have to be overcome to exploit the full power of modern multi-core processors.

查看译文

关键词

computability,multiprocessing systems,parallel processing,modern multicore processor,parallel sat-solver,sat solver,multi core processor

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要