SAT: Progrès et Défis

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:03
TitleSAT: Progrès et Défis
Publication TypeBook Chapter
Year of Publication2008
AuthorsDequen, G, Simon, L
ChapterAlgorithmes de Recherche Systématique
PublisherHermes