SAT instance analysis

Thumbnail
Ikusi/Ireki
Data
2021-10-08
Egilea
Celaya Rodríguez, Joseba
Metadata
Itemaren erregistro osoa erakusten du
  Estadisticas en RECOLECTA
(LA Referencia)

URI
http://hdl.handle.net/10810/53307
Laburpena
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