@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://www.numdam.org/item/RO_1991__25_3_241_0/}
}