Segmentation de la sériation pour la résolution de ­ #SAT

Israël-César Lerman, Valérie Rouat
1999 Mathématiques et sciences humaines  
doi:10.4000/msh.2793 fatcat:thbbuldc2vgdtcwd3oa4tz6w3e