Publications of Benha University on Google Scholar: A novel conflict directed jumping algorithm for hardware-based SAT solvers |
| Title: | A novel conflict directed jumping algorithm for hardware-based SAT solvers |
| Authors: | M Safar, M Shalan, MW El-Kharashi, A Salem |
| Year: | 2010 |
| Keywords: | Not Available |
| Journal/Conference: | Not Available |
| Volume: | Not Available |
| Issue: | Not Available |
| Pages: | 103-108 |
| Publisher: | 2010 5th International Design and Test Workshop, 103-108 |
| URL on Google: | https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:qxL8FJ1GzNcC |
| Citations: | 2 |
| Paper Link: | Not Available |
| Full paper | Not Available |