ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization.
Zhihan ChenPeng LinHao HuShaowei CaiPublished in: CP (2024)
Keyphrases
- pseudo boolean optimization
- search algorithm
- genetic algorithm
- satisfiability testing
- parallel processing
- tabu search
- simulated annealing
- multi objective
- sat solving
- constraint satisfaction
- combinatorial optimization
- parallel implementation
- search strategies
- real time
- clause learning
- constraint solving
- distributed memory
- parallel computation
- tree search
- memetic algorithm
- lower bound
- parallel algorithm
- constraint satisfaction problems
- optimization problems
- search space