ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Muhammad Osama

Registered user since Thu 31 Jan 2019

Name:Muhammad Osama
Country:Netherlands
Affiliation:Eindhoven University of Technology
Research interests:GPU Computing, Model Checking, Parallel SAT Solving

Contributions

ETAPS 2019 Parallel SAT Simplification on GPU Architectures
TACAS 2019 Parallel SAT Simplification on GPU Architectures
Show activities from other conferences

ETAPS 2019-profile
View general profile