A Conflict-Driven Solving Procedure for Poly-Power Constraints.
Cheng-Chao HuangMing XuZhi-Bin LiPublished in: J. Autom. Reason. (2020)
Keyphrases
- mixed integer program
- linear programming problems
- constraint satisfaction
- constrained problems
- constraint problems
- integer program
- feasible solution
- conflict resolution
- finite domain
- power consumption
- linear program
- global constraints
- distributed constraint optimization problems
- sat encodings
- backtracking algorithm
- subtour elimination
- reducing the search space
- simulated annealing
- constraint solving
- linear constraints
- mixed integer
- constraint satisfaction problems
- data driven