%0 Conference Paper %1 conf/date/SafarESS11 %A Safar, Mona %A El-Kharashi, M. Watheq %A Shalan, Mohamed %A Salem, Ashraf %B DATE %D 2011 %I IEEE %K %P 1243-1248 %T A reconfigurable, pipelined, conflict directed jumping search SAT solver. %U http://dblp.uni-trier.de/db/conf/date/date2011.html#SafarESS11 %@ 978-1-61284-208-0

@inproceedings{conf/date/SafarESS11, added-at = {2023-12-12T22:27:12.000+0100}, author = {Safar, Mona and El-Kharashi, M. Watheq and Shalan, Mohamed and Salem, Ashraf}, biburl = {https://www.bibsonomy.org/bibtex/20477ee6471322e24155cb70dbced7c1e/admin}, booktitle = {DATE}, crossref = {conf/date/2011}, ee = {http://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763199}, interhash = {4a68d40b3b6feb0188113cf292283f10}, intrahash = {0477ee6471322e24155cb70dbced7c1e}, isbn = {978-1-61284-208-0}, keywords = {}, pages = {1243-1248}, publisher = {IEEE}, timestamp = {2023-12-12T22:27:12.000+0100}, title = {A reconfigurable, pipelined, conflict directed jumping search SAT solver.}, url = {http://dblp.uni-trier.de/db/conf/date/date2011.html#SafarESS11}, year = 2011 }