Solving (Weighted) Partial MaxSAT with ILP.

Carlos Anstegui, Joel Gabs

Browse the full CPAIOR paper archive.