%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://www.numdam.org/item/RO_1991__25_3_241_0/
%G en
%F RO_1991__25_3_241_0