Hardware based algorithm for conflict diagnosis in SAT solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mona Safar' in GoogleThis author has not been identified. Look up 'Mohamed Shalan' in GoogleThis author has not been identified. Look up 'M. Watheq El-Kharashi' in GoogleThis author has not been identified. Look up 'Ashraf Salem' in Google

runs on WebDSL