ETAPS 2019 (series) / 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
| TACAS 2019 | Author of Parallel SAT Simplification on GPU Architectures within the TACAS 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile