Login / Signup

Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures.

Martin AignerArmin BiereChristoph M. KirschAina NiemetzMathias Preiner
Published in: POS@SAT (2013)
Keyphrases
  • sat solving
  • genetic algorithm
  • objective function
  • orders of magnitude