%0 Conference Paper %1 conf/idt/SafarSES10 %A Safar, Mona %A Shalan, Mohamed %A El-Kharashi, M. Watheq %A Salem, Ashraf %B IDT %D 2010 %E Zorian, Yervant %E Elahi, Imtinan %E Ivanov, André %E Salem, Ashraf %I IEEE %K dblp %P 103-108 %T A novel conflict directed jumping algorithm for hardware-based SAT solvers. %U http://dblp.uni-trier.de/db/conf/idt/idt2010.html#SafarSES10 %@ 978-1-61284-291-2

@inproceedings{conf/idt/SafarSES10, added-at = {2024-05-07T00:00:00.000+0200}, author = {Safar, Mona and Shalan, Mohamed and El-Kharashi, M. Watheq and Salem, Ashraf}, biburl = {https://www.bibsonomy.org/bibtex/26c8c01b42a8efbb3b244a01ce903503a/dblp}, booktitle = {IDT}, crossref = {conf/idt/2010}, editor = {Zorian, Yervant and Elahi, Imtinan and Ivanov, André and Salem, Ashraf}, ee = {https://doi.org/10.1109/IDT.2010.5724417}, interhash = {d9e80af47238356fb684a8e307a9053e}, intrahash = {6c8c01b42a8efbb3b244a01ce903503a}, isbn = {978-1-61284-291-2}, keywords = {dblp}, pages = {103-108}, publisher = {IEEE}, timestamp = {2024-05-13T09:05:46.000+0200}, title = {A novel conflict directed jumping algorithm for hardware-based SAT solvers.}, url = {http://dblp.uni-trier.de/db/conf/idt/idt2010.html#SafarSES10}, year = 2010 }