SAT Simplification for Multi-core CPU Platforms

  • Vlad-Andrei Popescu

Student thesis: Master

Date of Award1 Nov 2021
Original languageEnglish
SupervisorAnton J. Wijs (Supervisor 1) & Muhammad Osama (Supervisor 2)

Cite this

Documents

  • Popescu, V

    File: application/pdf, 1.22 MB

    Type: Thesis

'