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

Publication
POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland