Jannach, D.; Schmitz, T.; Shchekotykhin, K. Parallelized Hitting Set Computation for Model-Based Diagnosis. AAAI 2015, 29.