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