Fault diagnosis and logic debugging using Boolean satisfiability | IEEE Conference Publication | IEEE Xplore