MaxSAT by Improved Instance-Specific Algorithm Configuration.
Carlos AnsóteguiYuri MalitskyMeinolf SellmannPublished in: AAAI (2014)
Keyphrases
- experimental evaluation
- preprocessing
- learning algorithm
- improved algorithm
- optimal solution
- k means
- significant improvement
- cost function
- matching algorithm
- theoretical analysis
- expectation maximization
- high accuracy
- worst case
- probabilistic model
- computational cost
- np hard
- linear programming
- computationally efficient
- detection algorithm
- times faster
- classification algorithm
- selection algorithm
- convergence rate
- neural network
- clustering method
- optimization algorithm
- similarity measure
- search space