GPU Enabled Automated Reasoning

Muhammad Osama Mahmoud

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

625 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	van den Brand, Mark G.J., Promotor Wijs, Anton J., Copromotor
Award date	10 Mar 2022
Place of Publication	Eindhoven
Publisher	Eindhoven University of Technology
Electronic ISBNs	978-90-386-5445-4
Publication status	Published - 10 Mar 2022

Proefschrift.

Access to Document

@phdthesis{8475ec97e8334d10a7dd10e4f173a00d,

title = "GPU Enabled Automated Reasoning",

author = "Mahmoud, {Muhammad Osama}",

note = "Proefschrift.",

year = "2022",

month = mar,

day = "10",

language = "English",

series = "IPA dissertation series",

publisher = "Eindhoven University of Technology",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}