Organismes Partenaires | ||
| Centre de Recherche en Informatique de Lens |  | |
| CNRS |  | |
| Adrinord |  | |
| IRCICA |  | |
| Université d'Artois |  | |
Recherche | ||
| La compétition SAT | ||
| SATISFIABILITY | ||
| Citeseer |  | |
| SatLive |  | |
| SATLIB | ||
| Sat4j |  | |
| un jeu pour s'initier au problème SAT | SAT Game | |
Divers | ||
| Crèche parentale des petites canailles(où séjournent mes deux charmantes filles) | ||