TY  - RPRT
TI  - Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
AU  - Mathias Fleury
AU  - Armin Biere
PY  - 2022
UR  - https://arxiv.org/abs/2207.13577
ID  - 2207.13577
ER  -