Fault diagnosis and logic debugging using Boolean satisfiability (2005)

by Alexander Smith , Andreas Veneris , Moayad Fahim Ali , Anastasios Viglas
Venue:IEEE TRANS. ON CAD
Citations:74 - 32 self