Dealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm

Jianer Chen, Chao Xu

We study techniques for solving the Maximum Satisfiability problem (MaxSAT). Our focus is on variables of degree 4. We identify cases for degree-4 variables and show how the resolu…