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 | Parallel SAT Simplification on GPU Architectures | ||||||||||||||||||||||||||||||||||||||||
| ETAPS 2019 | Parallel SAT Simplification on GPU Architectures | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile