Sean A. Safarpour

• Managing circuit don't cares in Boolean satisfiability