HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:clause sharing

Publications
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Marijn Heule, Norbert Manthey and Tobias Philipp
In:POS-14. Fifth Pragmatics of SAT workshop
Modern Cooperative Parallel SAT Solving
Norbert Manthey, Davide Lanti and Ahmed Irfan
In:POS-13. Pragmatics of SAT 2013
Copyright © 2012-2025 easychair.org. All rights reserved.