Slides et rapport sur les SAT solveurs portfolio. Étude de la composante apprentissage dans ces SAT solveurs.
Forked from
Remi Oudin / Learning_Logic
61 commits behind the upstream repository.
Remi Oudin
authored
| Name | Last commit | Last update |
|---|---|---|
| plan | ||
| report | ||
| results | ||
| .gitignore | ||
| README.md | ||
| classification.png |