Browsing by Author Mona Mohamed Hassan Safar

Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)
2007FPGA-based Accelerator for SAT SolverMona Mohamed Hassan Safar
2007FPGA-based Accelerator for SATSolverMona Mohamed Hassan Safar
2011On the Hardware Architecture for Satisfiability ProblemsMona Mohamed Hassan Safar