Boundary Evolution Algorithm for SAT-NP.
Zhaoyang AiChaodong FanYingjie ZhangHuigui RongZe'an TianHaibing FuPublished in: CoRR (2019)
Keyphrases
- np hard
- times faster
- preprocessing
- computational complexity
- detection algorithm
- dynamic programming
- benchmark problems
- experimental evaluation
- computational cost
- recognition algorithm
- optimal solution
- search space
- significant improvement
- cost function
- learning algorithm
- expectation maximization
- simulated annealing
- convergence rate
- variable ordering
- sat problem
- randomly generated
- phase transition
- matching algorithm
- orders of magnitude
- optimization algorithm
- np complete
- linear programming
- search algorithm
- objective function
- similarity measure
- image sequences