Keyword:Reproducible parallel SAT solving

Papers
EasyChair Preprint no. 8553