Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving

Journal

IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'07)

Pages

227-233

Date Issued

2007-11

Author(s)

Chih-Chun Lee

Jie-Hong R. Jiang

Chung-Yang Huang

Alan Mishchenko

DOI

URI

Type

conference paper