Download citation

Experimental comparison of 2-satisfiability algorithms

RAIRO-Oper. Res., 25 3 (1991) 241-264
DOI: https://doi.org/10.1051/ro/1991250302411