Une généralisation probabiliste du problème SAT

Nous presentons une formulation probabiliste du probleme de satisfabilite des fonctions booleennes (SAT), qui est motivee par certaines applications telles que le diagnostic en medecine, ou en fiabilite. Quelques proprietes de ses solutions sont examinees et une heuristique neuronale est proposee pour sa resolution