• 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

Projects 2017 2021

GEARS: NWO TOP project GEARS

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

11/08/1710/08/21

Project: Research directResearch

Research Output 2019 2019

  • 1 Conference contribution

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