Centre de Recherche en Informatique de Lens

Organismes Partenaires

Centre de Recherche en Informatique de Lens cril
CNRScnrs
Adrinord adrinord
IRCICAircica
Université d'Artoisuniversité d'artois

Recherche

La compétition SAT
SATISFIABILITY
Citeseercitesser
SatLive satlive
SATLIB
Sat4j sat4j
un jeu pour s'initier au problème SATSAT Game

Divers

Crèche parentale des petites canailles(où séjournent mes deux charmantes filles)