TY - RPRT TI - Algorithmic complexity of pair cleaning method for k-satisfiability problem. (draft version) AU - Sergey Kardash PY - 2012 UR - https://arxiv.org/abs/1108.0408 ID - 1108.0408 ER -