Geodesic
Experimental comparison of 2-satisfiability algorithms
RAIRO - Operations Research - Recherche Opérationnelle, Tome 25 (1991) no. 3, pp. 241-264

Voir la notice de l'article provenant de la source Numdam

@article{RO_1991__25_3_241_0,
     author = {Petreschi, Rossella and Simeone, Bruno},
     title = {Experimental comparison of 2-satisfiability algorithms},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {241--264},
     publisher = {EDP-Sciences},
     volume = {25},
     number = {3},
     year = {1991},
     mrnumber = {1128467},
     zbl = {0746.05062},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RO_1991__25_3_241_0/}
}
TY  - JOUR
AU  - Petreschi, Rossella
AU  - Simeone, Bruno
TI  - Experimental comparison of 2-satisfiability algorithms
JO  - RAIRO - Operations Research - Recherche Opérationnelle
PY  - 1991
SP  - 241
EP  - 264
VL  - 25
IS  - 3
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/RO_1991__25_3_241_0/
LA  - en
ID  - RO_1991__25_3_241_0
ER  - 
%0 Journal Article
%A Petreschi, Rossella
%A Simeone, Bruno
%T Experimental comparison of 2-satisfiability algorithms
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 1991
%P 241-264
%V 25
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/RO_1991__25_3_241_0/
%G en
%F RO_1991__25_3_241_0
Petreschi, Rossella; Simeone, Bruno. Experimental comparison of 2-satisfiability algorithms. RAIRO - Operations Research - Recherche Opérationnelle, Tome 25 (1991) no. 3, pp. 241-264. http://geodesic.mathdoc.fr/item/RO_1991__25_3_241_0/