• Eindhoven University of Technology, Metaforum (6.080)

    5600 MB Eindhoven

    Nederland

  • 1 Citaten
20172021
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Opleiding / Academische kwalificatie

Computer systems, architectures, networks, Master, Minia University

20132015

Computer systems, architectures, networks, Bachelor, Minia University

20062011

Vingerafdruk Duik in de onderzoeksthema's waar Muhammad Muhammad actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Simplification Rekenkunde
Elimination Rekenkunde
Graphics Processing Unit Rekenkunde
Satisfiability Problem Rekenkunde
Redundancy Engineering en materiaalwetenschappen
Preprocessing Rekenkunde
Solvability Rekenkunde
Benchmark Rekenkunde

Projecten 2017 2021

Onderzoeksoutput 2019 2019

  • 1 Citaten
  • 2 Conferentiebijdrage
1 Citaat (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. (redactie). Cham: Springer, blz. 21-40 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
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. (redactie). Cham: Springer, blz. 514-522 9 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Simplification
Elimination
Redundancy
Accelerate
Benchmark