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

Publication
ACM Journal of Experimental Algorithmics 22, Article 1.6, 2017