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

Matthias Poloczek, David P. Williamson
Satisfiability
DOI
Type
Journal article
Publication
ACM Journal of Experimental Algorithmics 22, Article 1.6, 2017