Solving Clique Partitioning Problems: A Comparison of Models and Commercial Solvers.
Yu DuGary A. KochenbergerFred W. GloverHaibo WangMark W. LewisWeihong XieTakeshi TsuyuguchiPublished in: Int. J. Inf. Technol. Decis. Mak. (2022)
Keyphrases
- solving problems
- constraint problems
- solving complex
- search heuristics
- quadratic optimization problems
- convex quadratic programming
- eigenvalue problems
- combinatorial optimization
- exact solution
- computational biology
- constrained problems
- convex optimization problems
- sat solving
- constraint solvers
- complex systems
- constraint satisfaction problems
- computationally hard problems
- model selection