HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Christoph Kirsch

Publications
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures
Martin Aigner, Armin Biere, Christoph Kirsch, Aina Niemetz and Mathias Preiner
In:POS-13. Pragmatics of SAT 2013

Keyphrases

Multi-Core SAT solving, parallel SAT solving, satisfiability.

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