A general optimization solver based on OP-to-MaxSAT reduction

Yuxin Zhao, Han Huang, Zhifeng Hao

Optimization problems are fundamental in diverse fields, such as engineering, economics, and scientific computing. However, current algorithms are mostly designed for specific prob…