An Efficient Resolution Based Algorithm for SAT.

Min Zhou, Fei He, Ming Gu

Browse the full TASE paper archive.