EasyChair Smart Slide
Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul Through Sharing Instead of Copying Clauses
Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul Through Sharing Instead of Copying Clauses