Login / Signup
(1, 0)-Super Solutions of (k, s)-CNF Formula.
Zufeng Fu
Daoyun Xu
Yongping Wang
Published in:
Entropy (2020)
Keyphrases
</>
cnf formula
np complete
databases
information retrieval
search algorithm
cost function
search methods
max sat