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

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