Resolution complexity of satisfiability instances
SHEN Jing, MEI Dan
Computer Engineering and Applications . 2014, (22): 69 -72 .