Computing minimal hitting sets with logic array in model-based diagnosis

In model-based diagnosis, the minimal hitting sets of conflict sets are the diagnosing target. A new algorithm for computing minimal hitting sets via 2-dimensional logic array in proposed.