[IEEE 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2014.11.2-2014.11.6)] 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite: Special session paper: CAD contest
Hsu, Chih-Jen, Lin, Wei-Hsun, Wu, Chi-An, Khoo, Kei-YongYear:
2014
Language:
english
DOI:
10.1109/iccad.2014.7001375
File:
PDF, 1.17 MB
english, 2014