Login / Signup

Probe Machine Based Computing Model for Solving Satisfiability Problem.

Jianzhong CuiZhixiang YinJing YangXianya GengQiang 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