Zhongda Yuan, Yuchun Ma, Jinian Bian. SMPP: Generic SAT Solver over Reconfigurable Hardware Accelerator. In 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, IPDPS 2012, Shanghai, China, May 21-25, 2012. pages 443-448, IEEE Computer Society, 2012. [doi]
Abstract is missing.