documents   about archive   about project   Andrei Ershov   in Russian

Archive Correspondence Incoming foreign mail (1987) Article

	Article "Finding the Number of Solutions of a Satisfiability Problem. An Exact and a statistical approach." Date: 28.10.1987 Original document language: English, French Authors: Jean-Claude Simon, O. Dubois Organizations: Univer. Pierre et Marie Curie Images of pages: 1 2 3 4 Back Next document (Letter on a Form) Previous document (Letter (handwritten))
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016