Keyphrases
- sat solvers
- maximum satisfiability
- power consumption
- upper bound
- mixed integer programming
- branch and bound algorithm
- combinatorial optimization
- data sets
- sat solving
- power distribution
- search heuristics
- orders of magnitude
- database
- search strategies
- combinatorial problems
- mathematical model
- linear programming
- neural network
- pseudo boolean