" Diagnosis of Combinational Logic Circuits Using Boolean Satisfiability.POMPES PAR TRANSITIONS MULTIPLES "