D

DPLL

Thesis titled "Analysis of the structure of k-SAT formulas and of some resolution algorithms". Bachelor's degree in Computer Science, University of Milan-Bicocca.

Projet de Logique en L3 licence Informatique Université Paris Cité.

Création d'une calculatrice sans limite de taille sur les entiers

Implementation of various algorithms around the SAT problem.

A simple DPLL SAT solver in Elm (https://package.elm-lang.org/packages/tortis/elm-sat/latest/)