Satisfiability

Simple Approximation Algorithms for Balanced MAX 2SAT

An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem

Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds

An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem

Simple Approximation Algorithms for Balanced MAX 2SAT

On Some Recent Approximation Algorithms for MAX SAT

Improved approximation algorithms for MAX SAT.

New 3/4-Approximation Algorithms for the Maximum Satisfiability Problem.