Login / Signup
Portfolio-based Parallel SAT solving.
Lakhdar Sais
Published in:
HPCS (2010)
Keyphrases
</>
sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
constraint satisfaction
max sat
propositional satisfiability