ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization.
Zhihan ChenPeng LinHao HuShaowei CaiPublished in: CoRR (2024)
Keyphrases
- pseudo boolean optimization
- lower bound
- search algorithm
- genetic algorithm
- hard constraints
- global search
- optimal solution
- satisfiability testing
- tabu search
- parallel implementation
- simulated annealing
- constraint satisfaction problems
- memetic algorithm
- tree search
- search space
- neighborhood search
- systematic search
- quantified boolean formulas
- neural network