Title: Managing circuit don't cares in Boolean satisfiability
First published: 2005