ASPECTS PROBABILISTES DU PROBLEME DE LA SATISFACTION D'UNE FORMULE BOOLEENNE, ETUDE
DES PROBLEMES SAT, NUMBER-SAT ET MAX-SAT / PASCAL ANDRE ; SOUS LA DIRECTION DE J.-C.
SIMON.Thèse de doctorat : Sciences appliquées : Paris 6 : 1993.
Génie logiciel : conception des systèmes d'information : panorama des méthodes et
techniques / Pascal André, Alain Vailly, 2001