Functional netlists.

Sungwoo Park, Jinha Kim, Hyeonseung Im

Browse the full ICFP paper archive.