DanielRodCha

SAT-canonical

SAT-Solver based on conservative retractions

Categorias_y_programacion

Bibliografía sobre teoría de categorías y programación funcional

CriptHask

Cryptography from the point of view of functional programming

DanielRodCha.github.io

Página personal

FormulasYpolinomios

Sistema certificado de decisión proposicional basado en polinomios.

SAT-DPLL

DPP and DPLL algorithms

SAT-Pol

SAT-Solver based on Polynomials

TFM