FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: