Core minimization in SAT-based abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anton Belov, Huan Chen 0001, Alan Mishchenko, Joao Marques-Silva. Core minimization in SAT-based abstraction. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 1411-1416, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]

This author has not been identified. Look up 'Anton Belov' in GoogleThis author has not been identified. Look up 'Huan Chen 0001' in GoogleThis author has not been identified. Look up 'Alan Mishchenko' in GoogleThis author has not been identified. Look up 'Joao Marques-Silva' in Google

runs on WebDSL