An efficient algorithm for the 3-satisfiability problem
Résumé
An efficient algorithm for the 3-satisfiability problem
Article Dans Une Revue
Operations Research Letters
Année : 1992
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01124507
Soumis le : vendredi 6 mars 2015-10:37:35
Dernière modification le : vendredi 19 juillet 2024-11:38:04
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
43
Consultations
0
Téléchargements