Title: "2-satisfiability and the diagnosis of faulty
processors in massively parallel computing systems",
(download pdf)
Authors: Brigitte Servatius
, W. Shi and A. Bagchi
Reference: Disc. Appl.
Math. 60, 25--37, (1995).
Abstract:
Other Articles on Network Theory