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

dc.contributor.author	Zerkaoui, Habiba épse. Drias
dc.date.accessioned	2016-02-14T10:15:33Z
dc.date.available	2016-02-14T10:15:33Z
dc.date.issued	1993
dc.identifier.uri	http://hdl.handle.net/123456789/4524
dc.description	216 p. : ill. ; 30cm. (+ microfiche).	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Informatique, satisfiabilité, probabilité	fr_FR
dc.subject	Probabil	fr_FR
dc.title	Approche probabiliste du dénombrement des solutions du problème de satisfiabilité	fr_FR
dc.type	Thesis	fr_FR