TY  - THES
DP  - http://www.theses.fr/2007AIX11020
TI  - Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée
AU  - Paris, Lionel
A3  - Benhamou, Belaïd; Siegel, Pierre
PY  - 2007
SP  - 1 vol. (XIV-154 p.)
N1  - Thèse de doctorat Informatique Aix-Marseille 1 2007
N1  - 2007AIX11020
ER  -