Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.
Feifei MaXin GaoMinghao YinLinjie PanJi-Wei JinHai LiuJian ZhangPublished in: CP (2016)
Keyphrases
- resource allocation
- constraint solving
- pseudo boolean
- propositional satisfiability
- constraint programming
- combinatorial problems
- constraint satisfaction problems
- constraint propagation
- pseudo boolean constraints
- constraint satisfaction
- symmetry breaking
- integer linear programming
- resource allocation problems
- sat solvers
- search space
- combinatorial optimization
- search strategies
- propositional logic
- sat problem
- genetic algorithm
- optimal resource allocation
- search algorithm
- global search
- tabu search
- industrial applications
- exact solution
- automated reasoning
- wireless communication
- global constraints
- integer programming
- simulated annealing
- combinatorial auctions
- optimal solution
- tree search
- stochastic local search
- search procedure
- particle swarm optimization
- logic programming
- heuristic search