Cores in Core Based MaxSat Algorithms: An Analysis.
Fahiem BacchusNina NarodytskaPublished in: SAT (2014)
Keyphrases
- computational complexity
- upper bound
- times faster
- orders of magnitude
- combinatorial optimization
- benchmark datasets
- neural network
- worst case
- graph theory
- real time
- convergence rate
- branch and bound
- computational efficiency
- computationally efficient
- optimization problems
- computational cost
- search algorithm
- case study