Login / Signup

A Novel Method for All Solutions SAT Problem.

Xiuqin WangGuangsheng MaHao Wang
Published in: SNPD (2008)
Keyphrases
  • objective function
  • optimal solution
  • cost function
  • dynamic programming
  • computational complexity
  • np complete
  • orders of magnitude
  • search methods
  • phase transition
  • sat problem