Approche probabiliste du dénombrement des solutions du problème de satisfiabilité

dc.contributor.author	Bensalma, Ahmed
dc.date.accessioned	2017-11-19T13:32:26Z
dc.date.available	2017-11-19T13:32:26Z
dc.date.issued	1996
dc.identifier.uri	http://hdl.handle.net/123456789/5568
dc.description	100 p. : ill. ; 30 cm.(+ microfiche).	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Mathématique	fr_FR
dc.subject	Probabilité, statistique ,dénombrement	fr_FR
dc.subject	Statistique, Probabilité, dénombrement	fr_FR
dc.title	Approche probabiliste du dénombrement des solutions du problème de satisfiabilité	fr_FR
dc.type	Thesis	fr_FR