Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT.
Zaijun ZhangJincheng ZhouXiaoxia WangHeng YangYi FanPublished in: Entropy (2022)
Keyphrases
- initial solution
- tabu search
- optimization strategy
- starting point
- metaheuristic
- harmony search algorithm
- hybrid algorithm
- combinatorial optimization
- nonlinear optimization
- simulated annealing
- scheduling problem
- upper bound
- bundle adjustment
- optimal solution
- optimization problems
- special case
- branch and bound algorithm
- sat solvers
- objective function
- genetic algorithm