Toggle navigation
Back
English
español
Basque
Login
English
English
español
Basque
FAQ
Toggle navigation
View Item
ADDI
DOCENCIA
Facultad de Informática
Trabajos Académicos-Facultad de Informática
1.1 Trabajos fin de grado - Computación
View Item
ADDI
DOCENCIA
Facultad de Informática
Trabajos Académicos-Facultad de Informática
1.1 Trabajos fin de grado - Computación
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
SAT instance analysis
View/
Open
TFG_JosebaCelaya.pdf (1.033Mb)
Date
2021-10-08
Author
Celaya Rodríguez, Joseba
Metadata
Show full item record
URI
http://hdl.handle.net/10810/53307
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.
Collections
1.1 Trabajos fin de grado - Computación
Recolecta
Estadisticas RECOLECTA - LA Referencia
Search DSpace
This Collection
Browse
All of ADDI
Communities & Collections
By Issue Date
Authors
Titles
Departamentos (cas.)
Departamentos (eus.)
Subjects
This Collection
By Issue Date
Authors
Titles
Departamentos (cas.)
Departamentos (eus.)
Subjects
My Account
Login
Statistics
View Usage Statistics