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