Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems

Javier Larrosa, Emma Rollon

MaxSAT, the optimization version of the well-known SAT problem, has attracted a lot of research interest in the last decade. Motivated by the many important applications and inspir…