Title: Satisfiability-based debugging of sequential and hierarchical designs
First published: 2005