Some synergized clause selection strategies for contradiction separation based automated deduction | IEEE Conference Publication | IEEE Xplore