Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2023 easychair.org. All rights reserved.
