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://www.numdam.org/item/RO_1991__25_3_241_0/
LA  - en
ID  - RO_1991__25_3_241_0
ER  -