TY  - JOUR
AU  - S. I. Nikolenko
TI  - Hard satisfiable formulas for DPLL-type algorithms
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2002
SP  - 139
EP  - 148
VL  - 293
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2002_293_a7/
LA  - ru
ID  - ZNSL_2002_293_a7
ER  -