|
 
|
[BS92] An efficient algorithm for the 3-satisfiability problem
Revue Internationale avec comité de lecture : Journal Operations Research Letters, vol. 12(1), pp. 29-36, 1992Mots clés: Satisfiability
Résumé:
An efficient algorithm for the 3-satisfiability problem
Equipe:
oc
BibTeX
| @article { | |||
| BS92, | |||
| title | = | "{An efficient algorithm for the 3-satisfiability problem}", | |
| author | = | "A. Billionnet and A. Sutter", | |
| journal | = | "Operations Research Letters", | |
| year | = | 1992, | |
| volume | = | 12, | |
| number | = | 1, | |
| pages | = | "29-36", | |
| } | |||
