Brådland, Øystein; Oseland, Mats G.L. (Master thesis, 2012)
The Maximum Satisfiability (MAXSAT) Problem is a propositional logic and an optimization
based problem that has great importance in the theoretical and practical domain. In
the recent years MAXSAT has risen great interest ...