Login / Signup
A novel weighting scheme for random $k$-SAT.
Zongsheng Gao
Jun Liu
Ke Xu
Published in:
CoRR (2013)
Keyphrases
</>
weighting scheme
tf idf
weighting schemes
sat solvers
multiscale
visual words
probabilistic model
text mining