Browsing by Author Yasmeen Nabil Farid Abd El Khalek

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2016Accelerating SAT Solvers through ParallelismYasmeen Nabil Farid Abd El Khalek