New solver unifies optimization problems via MaxSAT reduction
Researchers have developed GORED, a general optimization solver that reduces diverse optimization problems to MaxSAT instances in polynomial time. The method, called OP-to-MaxSAT reduction, allows a single solver to handle 11 problem types across 136 test instances. Results show solutions comparable to specialized algorithms. The work aims to overcome the limited generality of current optimization algorithms, which are typically designed for specific problem domains.
Key facts
- GORED stands for General Optimization solver based on OP-to-MaxSAT Reduction
- The reduction method converts optimization problems to MaxSAT instances in polynomial time
- Tested on 136 instances across 11 types of optimization problems
- Uses state-of-the-art MaxSAT solver for solving reduced instances
- Published on arXiv with ID 2604.21961v1
Entities
Institutions
- arXiv