Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Convex minimization over Z3
Tim T.P. van der Leek
Mathematics and Computer Science
Student thesis
:
Bachelor
Date of Award
21 Apr 2024
Original language
English
Cite this
Standard
Convex minimization over Z3
van der Leek, T. T. P. (Author).
21 Apr 2024
Student thesis
:
Bachelor
Documents
pdf
File
:
application/pdf, 524 KB
Type
:
Thesis