Joonyoung Kim

• Incremental Boolean satisfiability and its application to electronic design automation