Differential approximation of min sat, max sat and related problems
We present differential approximation results (both positive and negative) for optimal satisfiability, optimal constraint satisfaction, and some of the most popular restrictive versions of them. As an important corollary, we exhibit an interesting structural difference between the landscapes of approximability classes in standard and differential paradigms.
differential approximation satisfiability np-hard optimization problems polynomial approximation minimum satisfiability maximum satisfiability