Martin Aigner, Armin Biere, Christoph M. Kirsch, Aina Niemetz, Mathias Preiner. Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures. In Daniel Le Berre, editor, POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland. Volume 29 of EPiC Series, pages 28-40, EasyChair, 2013. [doi]
Abstract is missing.