• Eindhoven University of Technology, Metaforum (6.080)

    5600 MB Eindhoven

    Netherlands

  • 0 Citations
20172021
If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Computer systems, architectures, networks, Master, Minia University

20132015

Computer systems, architectures, networks, Bachelor, Minia University

20062011

Fingerprint Dive into the research topics where Muhammad Muhammad is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Graphics Processing Unit Mathematics
Simplification Mathematics
Satisfiability Problem Mathematics
Preprocessing Mathematics
Solvability Mathematics
Boolean Satisfiability Mathematics
Parallel algorithms Engineering & Materials Science
Parallel Algorithms Mathematics

Projects 2017 2021

GEARS: NWO TOP project GEARS

Wijs, A. J., Wijs, A. J., Muhammad, M., Gerrits, E., Jama, I. & Jama, I.

11/08/1710/08/21

Project: Research direct

Research Output 2019 2019

  • 1 Conference contribution
12 Downloads (Pure)

Parallel SAT simplification on GPU architectures

Osama, M. & Wijs, A., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 21-40 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Graphics Processing Unit
Simplification
Satisfiability Problem
Preprocessing
Solvability