2-satisfiability and Diagnosing Faulty Processors in Massively Parallel Computing Systems

Ansuman Bagchi, Brigitte Servatius, Weigeng Shi. 2-satisfiability and Diagnosing Faulty Processors in Massively Parallel Computing Systems. Discrete Applied Mathematics, 60(1-3):25-37, 1995. [doi]

Abstract

Abstract is missing.