1 paper · 1 filter
Jialu Zhang, Chu-Min Li, Sami Cherif +2
The Maximum Satisfiability problem (MaxSAT) is a major optimization challenge with numerous practical applications. In recent MaxSAT evaluations, most MaxSAT solvers have incorpora…