• Eindhoven University of Technology, Metaforum (6.080)

    5600 MB Eindhoven

    Nederland

  • 0 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

Projecten 2017 2021

GEARS: GPU Enabled Accelerated Reasoning about System designs

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

11/08/1710/08/21

Project: Onderzoek directOnderzoek

Onderzoeksoutput 2019 2019

  • 1 Conferentiebijdrage

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