%0 Journal Article %A Lerman, Israël-César %A Rouat, Valérie %T Segmentation de la sériation pour la résolution de #SAT %J Mathématiques informatique et sciences humaines %D 1999 %P 113-134 %V 147 %I Ecole des hautes-études en sciences sociales %U http://www.numdam.org/item/MSH_1999__147__113_0/ %G fr %F MSH_1999__147__113_0