Multithreaded SAT solving

被引：0

作者：

Lewis, Matthew ^{[1
]}

Schubert, Tobias ^{[1
]}

Becker, Bernd ^{[1
]}

机构：

[1] Univ Freiburg, Inst Comp Sci, Georges-Koehler-Allee 51, D-79110 Freiburg, Germany

来源：

PROCEEDINGS OF THE ASP-DAC 2007 | 2007年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper describes the multithreaded MiraXT SAT Solver which was designed to take advantage of current and future shared memory multiprocessor systems. The paper highlights design and implementation details that allow the multiple threads to run and cooperate efficiently. Results show that in single threaded mode, MiraXT compares well to other state of the art solvers on Industrial problems. In threaded mode, it provides cutting edge performance, as speedup is obtained on both SAT and UNSAT instances.

引用

页码：926 / +

页数：2

共 50 条

[1] CUD@SAT: SAT solving on GPUs
Dal Palu, Alessandro
Dovier, Agostino
Formisano, Andrea
Pontelli, Enrico
[J]. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2015, 27 (03) : 293 - 316
[2] Accelerating SAT Based Planning with Incremental SAT Solving
Gocht, Stephan
Balyo, Tomas
[J]. TWENTY-SEVENTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING, 2017, : 135 - 139
[3] Incremental Inprocessing in SAT Solving
Fazekas, Katalin
Biere, Armin
Scholl, Christoph
[J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, 2019, 11628 : 136 - 154
[4] Distributed Parallel #SAT Solving
Burchard, Jan
Schubert, Tobias
Becker, Bernd
[J]. 2016 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2016, : 326 - 335
[5] SAT solving for argument filterings
Codish, Michael
Schneider-Kamp, Peter
Lagoon, Vitaly
Thiemann, Rene
Giesl, Juergen
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 30 - 44
[6] A hardware accelerator for SAT solving
Safar, Mona
Shalan, Mohamed
El-Kharashi, M. Watheq
Salem, Ashraf
[J]. 2006 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS, 2006, : 132 - +
[7] Solving SAT efficiently with promises
Iwama, K
Matsuura, A
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (02) : 213 - 218
[8] ANAGRAM SOLVING AND SAT PERFORMANCE
GAVURIN, EI
[J]. JOURNAL OF PSYCHOLOGY, 1972, 81 (02): : 281 - &
[9] An overview of parallel SAT solving
Ruben Martins
Vasco Manquinho
Inês Lynce
[J]. Constraints, 2012, 17 : 304 - 347
[10] On Solving MaxSAT Through SAT
Ansotegui, Carlos
Luisa Bonet, Maria
Levy, Jordi
[J]. ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2009, 202 : 284 - 292

← 1 2 3 4 5 →