• Eindhoven University of Technology, Metaforum (6.080)

    5600 MB Eindhoven

    Netherlands

  • 1 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.

Simplification Mathematics
Elimination Mathematics
Graphics Processing Unit Mathematics
Satisfiability Problem Mathematics
Redundancy Engineering & Materials Science
Preprocessing Mathematics
Solvability Mathematics
Benchmark Mathematics

Projects 2017 2021

GEARS: NWO TOP project GEARS

Wijs, A. J., Wijs, A. J. & Muhammad, M.

11/08/1710/08/21

Project: Research direct

Research Output 2019 2019

  • 1 Citations
  • 2 Conference contribution
1 Citation (Scopus)
15 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

SIGmA: GPU accelerated simplification of SAT formulas

Osama, M. & Wijs, A., 1 Jan 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Cham: Springer, p. 514-522 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

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

Simplification
Elimination
Redundancy
Accelerate
Benchmark