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.description | 216 p. : ill. ; 30cm. (+ microfiche). | fr_FR |
| dc.identifier.uri | http://hdl.handle.net/123456789/4524 | |
| 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 |