Nuno Cardoso, Rui Abreu. MHS2: A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm. In João Lourenço, Eitan Farchi, editors, Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings. Volume 8063 of Lecture Notes in Computer Science, pages 25-36, Springer, 2013. [doi]
Abstract is missing.