Typical random 3-SAT formulae and the satisfiability threshold - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Typical random 3-SAT formulae and the satisfiability threshold

Yacine Boufkhad
  • Fonction : Auteur
Jacques Mandler
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-01572586 , version 1 (07-08-2017)

Identifiants

  • HAL Id : hal-01572586 , version 1

Citer

Olivier Dubois, Yacine Boufkhad, Jacques Mandler. Typical random 3-SAT formulae and the satisfiability threshold. 11th ACM-SIAM Symposium on Discrete Algorithms, Jan 2000, San Francisco, California, United States. pp.124-126. ⟨hal-01572586⟩
58 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More