TY  - THES
DP  - 
		http://www.theses.fr/2001AIX11036
TI  - Résolution du problème SAT et génération de modèles finis en logique du premier ordre
AU  - Audemard, Gilles
A3  - Benhamou, Belaïd
PY  - 2001
SP  - VIII-138 p.
N1  - Thèse de doctorat Informatique Aix-Marseille 1 2001
N1  - 2001AIX11036
ER  -