L

Learning_Logic

Présentation et rapport sur les SAT solveur portfolio

Forked from Guinness

Slides et rapport sur les SAT solveurs portfolio. Étude de la composante apprentissage dans ces SAT solveurs.