Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver
DATE, 2007.
@inproceedings{DATE-2007-SafarSES,
author = "Mona Safar and Mohamed Shalan and M. Watheq El-Kharashi and Ashraf Salem",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266400",
isbn = "978-3-9810801-2-4",
pages = "153--158",
publisher = "{ACM}",
title = "{Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver}",
year = 2007,
}