Beyond the Structure of SAT Formulas 

Giráldez Crú, Jesús (Date of defense: 2016-05-25)

Hoy en día, muchos problemas del mundo real son codificados en instancias SAT y resueltos eficientemente por modernos SAT solvers. Estos solvers, usualmente conocidos como Conflict-Driven Clause Learning (CDCL: Aprendizaje ...