Title: Diagnosis of combinational logic circuits using Boolean satisfiability
First published: 2004