Vestigium

Cuaderno de Investigación en Lógica Computacional

Publicaciones sobre SAT<sub>solvers</sub>

Escrito por José A. Alonso usando Nikola
Esta obra está bajo una