ICCAD-2016 CAD contest in large-scale identical fault search

Tangent Wei, Luke Lin. ICCAD-2016 CAD contest in large-scale identical fault search. In Frank Liu, editor, Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016. pages 39, ACM, 2016. [doi]

Abstract

Abstract is missing.