Login / Signup
Conclusion to the Special Issue on Parallel SAT Solving.
Youssef Hamadi
Published in:
J. Satisf. Boolean Model. Comput. (2009)
Keyphrases
</>
special issue
sat solving
sat solvers
ecml pkdd
ai edam
international journal
boolean satisfiability
applied intelligence
sat problem
boolean optimization
randomly generated
data mining
evolutionary algorithm
orders of magnitude
satisfiability problem
sat encodings