Knot problemarako instantzia sortzaile eta boolean satisfiability solver bidezko ebazlea

dc.contributor.advisor	López Gil, Juan Miguel
dc.contributor.author	De la Cruz Odriozola, Sua
dc.contributor.other	F. INFORMATICA
dc.contributor.other	INFORMATIKA F.
dc.date.accessioned	2023-11-28T16:42:49Z
dc.date.available	2023-11-28T16:42:49Z
dc.date.issued	2023-11-28
dc.identifier.uri	http://hdl.handle.net/10810/63197
dc.description.abstract	[EU] Dot Knot jokoko irudi bat prozesatuz, SAT ebazle baten bidez problemaren ebazpena lortzea da helburu, paralelizazioaz baliatuz eraginkortasuna hobetzeko.	es_ES
dc.description.abstract	[ES] Teniendo una imagen del juego Dot Knot, el objetivo del trabajo es conseguir la solución del problema a través de un resolutor SAT, utilizando la paralelización con el fin de mejorar el rendimiento.	es_ES
dc.language.iso	eus	es_ES
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	konputazioa	es_ES
dc.subject	SAT	es_ES
dc.subject	laburketa	es_ES
dc.subject	irudi prozesamendu	es_ES
dc.subject	web aplikazioa	es_ES
dc.subject	Dot Knot	es_ES
dc.subject	instantzia sortzaile	es_ES
dc.subject	paralelizazio	es_ES
dc.title	Knot problemarako instantzia sortzaile eta boolean satisfiability solver bidezko ebazlea	es_ES
dc.type	info:eu-repo/semantics/bachelorThesis
dc.date.updated	2023-09-12T06:49:47Z
dc.language.rfc3066	es
dc.rights.holder	©2023, la autora
dc.contributor.degree	Informatikan Ingeniaritza	es_ES
dc.contributor.degree	Ingeniería en Informática
dc.identifier.gaurregister	136037-957703-11
dc.identifier.gaurassign	149345-957703