ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chih-Jen Hsu, Wei-Hsun Lin, Chi-An Wu, Kei-Yong Khoo. ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite. In Yao-Wen Chang, editor, The IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014, San Jose, CA, USA, November 3-6, 2014. pages 357-360, IEEE/ACM, 2014. [doi]

This author has not been identified. Look up 'Chih-Jen Hsu' in GoogleThis author has not been identified. Look up 'Wei-Hsun Lin' in GoogleThis author has not been identified. Look up 'Chi-An Wu' in GoogleThis author has not been identified. Look up 'Kei-Yong Khoo' in Google

runs on WebDSL