Experimental comparison of 2-satisfiability algorithmsRossella Petreschi and Bruno SimeoneRAIRO-Oper. Res., 25 3 (1991) 241-264DOI: https://doi.org/10.1051/ro/1991250302411