| 2008 |
|---|
| 5 | EE | Mona Safar,
Mohamed Shalan,
M. Watheq El-Kharashi,
Ashraf Salem:
Hardware based algorithm for conflict diagnosis in SAT solver.
AICCSA 2008: 89-93 |
| 2007 |
|---|
| 4 | EE | Mona Safar,
Mohamed Shalan,
M. Watheq El-Kharashi,
Ashraf Salem:
Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver.
DATE 2007: 153-158 |
| 2006 |
|---|
| 3 | EE | Mona Safar,
M. Watheq El-Kharashi,
Ashraf Salem:
FPGA-Based SAT Solver.
CCECE 2006: 1901-1904 |
| 2005 |
|---|
| 2 | EE | Mona Safar,
M. Watheq El-Kharashi,
Ashraf Salem:
FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers.
CHARME 2005: 384-387 |
| 1 | EE | Mona Safar,
M. Watheq El-Kharashi,
Ashraf Salem:
An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking.
IWSOC 2005: 419-424 |
