@inproceedings{genisson1996aspectsalgorithmiques,
author	=	{Richard G{\'e}nisson and Antoine Rauzy},
title	=	{Aspects algorithmiques des classes polynomiales du probl\`eme {SAT} et des probl\`emes de satisfaction de constraintes},
booktitle	=	{Actes du 10i\`eme congr\`es Reconnaissance de Formes et Intelligence Artificielle, RFIA'96},
publisher	=	{AFCET-AFIA},
pages	=	{97--108},
year	=	{1996}
}