DPS: A Framework for Deterministic Parallel SAT Solvers
Authors: Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue
Paper Information
| Title: | DPS: A Framework for Deterministic Parallel SAT Solvers |
| Authors: | Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue |
| Proceedings: | POS PoS'22 FLoC papers |
| Editors: | Daniel Le Berre and Matti Järvisalo |
| Keywords: | Reproducible parallel SAT solving, Portfolio parallel SAT solver, Clause exchange |
| Pages: | 15 |
| Talk: | Aug 01 11:30 (Session 31K: SAT and Parallel Solving) |
| Paper: |  |