Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures.

Martin Aigner, Armin Biere, Christoph M. Kirsch, Aina Niemetz, Mathias Preiner

Browse the full SAT paper archive.