Real-time Proof Checking for Distributed Incremental SAT Solving.

Dominik Schreiber, Mathias Fleury, Katalin Fazekas, Armin Biere

Browse the full TACAS paper archive.