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]
@inproceedings{HsuLWK14,
title = {ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite},
author = {Chih-Jen Hsu and Wei-Hsun Lin and Chi-An Wu and Kei-Yong Khoo},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2691437},
researchr = {https://researchr.org/publication/HsuLWK14},
cites = {0},
citedby = {0},
pages = {357-360},
booktitle = {The IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014, San Jose, CA, USA, November 3-6, 2014},
editor = {Yao-Wen Chang},
publisher = {IEEE/ACM},
isbn = {978-1-4799-6277-8},
}