Dealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm.
Jianer ChenChao XuPublished in: CoRR (2015)
Keyphrases
- worst case
- preprocessing
- dynamic programming
- computational cost
- learning algorithm
- objective function
- optimal solution
- detection algorithm
- expectation maximization
- high accuracy
- improved algorithm
- times faster
- theoretical analysis
- cost function
- upper bound
- experimental evaluation
- optimization algorithm
- computational complexity
- convex hull
- np hard
- segmentation algorithm
- high resolution
- convergence rate
- neural network