ICCAD-2012 CAD contest in finding the minimal logic difference for functional ECO and benchmark suite: CAD contest. - WoeiTzy Jong; Hwei-Tseng Wang; Chengta Hsieh; Kei-Yong Khoo (ICCAD, 2012)