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

Chih-Jen Hsu, Wei-Hsun Lin, Chi-An Wu, Kei-Yong Khoo

Browse the full ICCAD paper archive.