Fault diagnosis and logic debugging using Boolean satisfiability (2005)

by A Smith, A Veneris, M F Ali, A Viglas
Venue:IEEE Trans. on CAD