Ara mostrant els elements 1-1 de 1
Giráldez Crú, Jesús (Data 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 ...