Login / Signup
Probe Machine Based Computing Model for Solving Satisfiability Problem.
Jianzhong Cui
Zhixiang Yin
Jing Yang
Xianya Geng
Qiang Zhang
Published in:
BIC-TA (2) (2019)
Keyphrases
</>
objective function
satisfiability problem
special case
np complete
decision problems
max sat
stochastic local search
weighted max sat