Satisfiability and Maximum Satisfiability Max Sat <p>Mar 28, 2009 2:13 PM   Excellent Tutorial on Max-Sat Solvers.</p>