[IEEE 2012 26th IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) - Shanghai, China (2012.05.21-2012.05.25)] 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum - SMPP: Generic SAT Solver over Reconfigurable Hardware Accelerator
Yuan, Zhongda, Ma, Yuchun, Bian, JinianYear:
2012
Language:
english
DOI:
10.1109/ipdpsw.2012.57
File:
PDF, 414 KB
english, 2012