Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
Authors: Mathias Fleury and Armin Biere
Paper Information
| Title: | Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses |
| Authors: | Mathias Fleury and Armin Biere |
| Proceedings: | POS PoS'22 FLoC papers |
| Editors: | Daniel Le Berre and Matti Järvisalo |
| Keywords: | SAT Solving, Automated Reasoning, Parallel Reasoning, Multi-Threaded Solving |
| Pages: | 16 |
| Talk: | Aug 01 12:00 (Session 31K: SAT and Parallel Solving) |
| Paper: |  |