Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem. Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. In Rudy Lauwereins, Jan Madsen, editors, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. pages 153-158, ACM, 2007. [doi]
@inproceedings{SafarSES07, title = {Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver}, author = {Mona Safar and Mohamed Shalan and M. Watheq El-Kharashi and Ashraf Salem}, year = {2007}, doi = {10.1145/1266366.1266400}, url = {http://doi.acm.org/10.1145/1266366.1266400}, tags = {rule-based}, researchr = {https://researchr.org/publication/SafarSES07}, cites = {0}, citedby = {0}, pages = {153-158}, booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France}, editor = {Rudy Lauwereins and Jan Madsen}, publisher = {ACM}, isbn = {978-3-9810801-2-4}, }