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

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