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]
@inproceedings{SafarSES08,
title = {Hardware based algorithm for conflict diagnosis in SAT solver},
author = {Mona Safar and Mohamed Shalan and M. Watheq El-Kharashi and Ashraf Salem},
year = {2008},
doi = {10.1109/AICCSA.2008.4493521},
url = {http://dx.doi.org/10.1109/AICCSA.2008.4493521},
tags = {rule-based},
researchr = {https://researchr.org/publication/SafarSES08},
cites = {0},
citedby = {0},
pages = {89-93},
booktitle = {The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008},
publisher = {IEEE},
}