An Exact MaxSAT Algorithm: Further Observations and Further Improvements.
Mingyu XiaoPublished in: IJCAI (2022)
Keyphrases
- detection algorithm
- computational complexity
- dynamic programming
- high accuracy
- optimization algorithm
- objective function
- optimal solution
- segmentation algorithm
- preprocessing
- cost function
- randomly generated
- orders of magnitude
- theoretical analysis
- computationally efficient
- improved algorithm
- computational cost
- learning algorithm
- genetic algorithm
- selection algorithm
- ant colony optimization
- brute force
- neural network
- maximum satisfiability
- simulated annealing
- worst case
- upper bound
- np hard
- search space
- data structure