Communication in Massively-Parallel SAT Solving.

Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck

Browse the full ICTAI paper archive.