Mostrando ítems 1-1 de 1
Giráldez Crú, Jesús (Fecha de defensa: 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 ...