ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite

Chi-An (Rocky) Wu, Chih-Jen (Jacky) Hsu, Kei-Yong Khoo. ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite. In Frank Liu, editor, Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016. pages 40, ACM, 2016. [doi]

Abstract

Abstract is missing.