Login / Signup
A Note on Random k-SAT for Moderately Growing k.
Jun Liu
Zongsheng Gao
Ke Xu
Published in:
Electron. J. Comb. (2012)
Keyphrases
</>
sat solvers
satisfiability problem
search algorithm
database
genetic algorithm
knowledge base
constraint satisfaction
sat problem
sat encodings