Resource Scheduling - Evaluating Solving Using Satisfiability Modulo Theory

dc.contributor.author	Wallevik, Sol Marie
dc.date.accessioned	2024-04-13T00:14:40Z
dc.date.available	2024-04-13T00:14:40Z
dc.date.issued	2023-06-29
dc.date.submitted	2024-04-12T09:08:55Z
dc.identifier.uri	https://hdl.handle.net/11250/3126346
dc.language.iso	eng
dc.publisher	The University of Bergen
dc.rights	Copyright the Author. All rights reserved
dc.title	Resource Scheduling - Evaluating Solving Using Satisfiability Modulo Theory
dc.type	Master thesis
dc.date.updated	2024-04-12T09:08:55Z
dc.rights.holder	Copyright the Author. All rights reserved
dc.description.degree	Masteroppgåve i Programvareutvikling samarbeid med HVL
dc.description.localcode	PROG399
dc.description.localcode	MAMN-PROG
dc.subject.nus	754199
fs.subjectcode	PROG399
fs.unitcode	12-12-0