Distributed Parallel #SAT Solving.

Jan Burchard, Tobias Schubert, Bernd Becker

Browse the full CLUSTER paper archive.