Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem. A reconfigurable, pipelined, conflict directed jumping search SAT solver. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 1243-1248, IEEE, 2011. [doi]
Abstract is missing.