Dealing with 4-variables by resolution: An improved MaxSAT algorithm.
Jianer ChenChao XuJianxin WangPublished in: Theor. Comput. Sci. (2017)
Keyphrases
- dynamic programming
- high accuracy
- detection algorithm
- randomly generated
- learning algorithm
- times faster
- theoretical analysis
- worst case
- combinatorial optimization
- k means
- objective function
- cost function
- search strategy
- convex hull
- linear programming
- matching algorithm
- tree structure
- optimization algorithm
- genetic algorithm
- image segmentation
- clustering method
- optimal solution
- computational complexity
- input data
- search space
- neural network
- probabilistic model
- computational cost
- np hard