| Date of Award | 30 Nov 2023 |
|---|---|
| Original language | English |
| Supervisor | Anton J. Wijs (Supervisor 1) & Muhammad Osama Mahmoud (Supervisor 2) |
Cite this
- Standard
GPU Accelerated Filtering for Backbone Finding in Propositional Formulae
Student thesis: Master