Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver.

Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem

Browse the full DATE paper archive.