Now showing items 1-1 of 1
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 ...