An efficient algorithm for the 3-satisfiability problem - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Operations Research Letters Année : 1992

An efficient algorithm for the 3-satisfiability problem

Alain Sutter
  • Fonction : Auteur

Résumé

An efficient algorithm for the 3-satisfiability problem

Dates et versions

hal-01124507 , version 1 (06-03-2015)

Identifiants

Citer

Alain Billionnet, Alain Sutter. An efficient algorithm for the 3-satisfiability problem. Operations Research Letters, 1992, 12 (1), pp.29-36. ⟨10.1016/0167-6377(92)90019-Y⟩. ⟨hal-01124507⟩

Collections

CNAM CEDRIC-CNAM
25 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More