Browsing 1.1 Trabajos fin de grado - Computación by Author "Celaya Rodríguez, Joseba"

Now showing items 1-1 of 1

    • Thumbnail

      SAT instance analysis 

      Celaya Rodríguez, Joseba (2021-10-08)
      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.