Login / Signup
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures.
Martin Aigner
Armin Biere
Christoph M. Kirsch
Aina Niemetz
Mathias Preiner
Published in:
POS@SAT (2013)
Keyphrases
</>
sat solving
genetic algorithm
objective function
orders of magnitude