[1]
D. Jannach, T. Schmitz, and K. Shchekotykhin, “Parallelized Hitting Set Computation for Model-Based Diagnosis”, AAAI, vol. 29, no. 1, Feb. 2015.