HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Xiao-Nan Lu

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

Keyphrases

Clause exchange, Portfolio parallel SAT solver, Reproducible parallel SAT solving.

Copyright © 2012-2025 easychair.org. All rights reserved.