Comparative Analysis of MaxSAT Solvers for Discrete Optimization
Published in Conference on Satisfiability Testing, 2023
This paper presents a comprehensive benchmark study comparing specialized MaxSAT solvers with general-purpose optimization approaches for discrete optimization problems.
Key Contributions
- Benchmark evaluation of multiple MaxSAT solver implementations
- Demonstration of 22% performance improvement with specialized solvers
- Analysis of solver characteristics and problem type suitability
- Practical recommendations for solver selection
Findings
Specialized MaxSAT solvers significantly outperform cross-domain approaches, particularly on structured discrete optimization problems common in logistics and operations research applications.
Recommended citation: Konovalenko, A. (2023). "Comparative Analysis of MaxSAT Solvers for Discrete Optimization." Conference on Satisfiability Testing.
Download Paper