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

Matthias Poloczek, David P. Williamson
Satisfiability
DOI
Type
Conference paper
Publication
In Andrew V. Goldberg and Alexander S. Kulikov, editors, Lecture Notes in Computer Science Number 9685, Experimental Algorithms, 15th International Symposium, SEA 2016 pages 246-261, 2016