Dealing with 4-Variables by Resolution: An Improved MaxSAT Algorithm.
Jianer ChenChao XuJianxin WangPublished in: WADS (2015)
Keyphrases
- optimization algorithm
- significant improvement
- high accuracy
- experimental evaluation
- computational complexity
- times faster
- detection algorithm
- preprocessing
- dynamic programming
- improved algorithm
- computational cost
- orders of magnitude
- expectation maximization
- combinatorial optimization
- convergence rate
- upper bound
- cost function
- recognition algorithm
- search space
- relevant variables
- neural network
- learning algorithm
- maximum satisfiability
- particle swarm optimization
- linear programming
- worst case
- k means
- evolutionary algorithm
- objective function
- similarity measure