Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem. Hardware based algorithm for conflict diagnosis in SAT solver. In The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008. pages 89-93, IEEE, 2008. [doi]
Abstract is missing.