Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
A reconfigurable, pipelined, conflict directed jumping search SAT solver
DATE, 2011.
@inproceedings{DATE-2011-SafarESS,
author = "Mona Safar and M. Watheq El-Kharashi and Mohamed Shalan and Ashraf Salem",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "1243--1248",
publisher = "{IEEE}",
title = "{A reconfigurable, pipelined, conflict directed jumping search SAT solver}",
year = 2011,
}