A general optimization solver based on OP-to-MaxSAT reduction
arXiv:2604.21961v1 Announce Type: cross
Abstract: Optimization problems are fundamental in diverse fields, such as engineering, economics, and scientific computing. However, current algorithms are mostly designed for specific problem types and exhibit…