Publications of Benha University on Google Scholar: Dynamic compaction using multi-valued encoding in SAT-based ATPG |
| Title: | Dynamic compaction using multi-valued encoding in SAT-based ATPG |
| Authors: | K Habib, M Safar, M Dessouky, A Salem |
| Year: | 2014 |
| Keywords: | Not Available |
| Journal/Conference: | Engineering and Technology (ICET), |
| Volume: | Not Available |
| Issue: | Not Available |
| Pages: | 1-6 |
| Publisher: | Engineering and Technology (ICET), 2014 International Conference on, 1-6 |
| URL on Google: | https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:NMxIlDl6LWMC |
| Citations: | Not Available |
| Paper Link: | Not Available |
| Full paper | Not Available |