Resolution and Domination: An Improved Exact MaxSAT Algorithm.
Chao XuWenjun LiYongjie YangJianer ChenJianxin WangPublished in: IJCAI (2019)
Keyphrases
- learning algorithm
- preprocessing
- objective function
- high accuracy
- cost function
- np hard
- brute force
- detection algorithm
- computational cost
- experimental evaluation
- dynamic programming
- theoretical analysis
- optimal solution
- combinatorial optimization
- search space
- computational complexity
- expectation maximization
- improved algorithm
- recognition algorithm
- matching algorithm
- times faster
- convergence rate
- genetic algorithm
- randomly generated
- ant colony optimization
- optimization algorithm
- linear programming
- worst case