Keyword:Portfolio parallel SAT solver

Publications
DPS: a Framework for Deterministic Parallel SAT Solvers Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue EasyChair Preprint 8553