SAT instance analysis

dc.contributor.advisor	Hermo Huguet, Montserrat
dc.contributor.author	Celaya Rodríguez, Joseba
dc.contributor.other	F. INFORMATICA
dc.contributor.other	INFORMATIKA F.
dc.date.accessioned	2021-10-08T18:03:05Z
dc.date.available	2021-10-08T18:03:05Z
dc.date.issued	2021-10-08
dc.identifier.uri	http://hdl.handle.net/10810/53307
dc.description.abstract	The objective is to develop a tool for extracting structural features of SAT instances; and use them to understand, and measure, state-of-the-art SAT solvers' performance.	es_ES
dc.language.iso	eng	es_ES
dc.rights	info:eu-repo/semantics/openAccess
dc.title	SAT instance analysis	es_ES
dc.type	info:eu-repo/semantics/bachelorThesis
dc.date.updated	2021-07-26T06:28:40Z
dc.language.rfc3066	es
dc.rights.holder	© 2021, el autor
dc.contributor.degree	Grado en Ingeniería Informática
dc.contributor.degree	Informatika Ingeniaritzako Gradua
dc.identifier.gaurregister	117258-842999-11
dc.identifier.gaurassign	120141-842999