Approche probabiliste du dénombrement des solutions du problème de satisfiabilité
No Thumbnail Available
Files
Date
1993
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
216 p. : ill. ; 30cm. (+ microfiche).
Keywords
Informatique, satisfiabilité, probabilité, Probabil