Slides et rapport sur les SAT solveurs portfolio. Étude de la composante apprentissage dans ces SAT solveurs.
Forked from
Remi Oudin / Learning_Logic
62 commits behind the upstream repository.

Remi Oudin
authored
Name | Last commit | Last update |
---|---|---|
plan | ||
report | ||
results | ||
.gitignore | ||
README.md | ||
classification.png |