AI RESEARCH
A general optimization solver based on OP-to-MaxSAT reduction
arXiv CS.AI
•
ArXi:2604.21961v1 Announce Type: cross 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 limited generality in solving multiple types of optimization problems. To enhance generality, we propose an automated reduction method named OP-to-MaxSAT reduction and a general optimization solver based on OP-to-MaxSAT reduction