A Reconfigurable Five-Stage Pipelined SAT Solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem. A Reconfigurable Five-Stage Pipelined SAT Solver. In 10th International Workshop on Microprocessor Test and Verification, MTV 2009, Austin, Texas, USA, 7-9 December 2009. pages 95-100, IEEE Computer Society, 2009. [doi]

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

runs on WebDSL