Interpolating functions from large Boolean relations.

Jie-Hong Roland Jiang, Hsuan-Po Lin, Wei-Lun Hung

Browse the full ICCAD paper archive.