SAT instance analysis

Thumbnail
View/Open
Date
2021-10-08
Author
Celaya Rodríguez, Joseba
Metadata
Show full item record
  Estadisticas en RECOLECTA
(LA Referencia)

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