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) |