Parallelized Hitting Set Computation for Model-Based Diagnosis

Open in new window