conf.researchr.org / Muhammad Osama
Registered user since Thu 31 Jan 2019
Name:Muhammad Osama
Country:Netherlands
Affiliation:Eindhoven University of Technology
Personal website:https://www.researchgate.net/profile/Muhammad_Osama3
Research interests:GPU Computing, Model Checking, Parallel SAT Solving
Contributions
| ETAPS 2019 | Author of Parallel SAT Simplification on GPU Architectures within the Posters-track |
| TACAS 2019 | Author of Parallel SAT Simplification on GPU Architectures within the TACAS 2019-track |