Trusted Scalable SAT Solving with On-The-Fly LRAT Checking.

Dominik Schreiber

Browse the full SAT paper archive.