Average Time Complexity of the SAT 1.2 Algorithm.

Jun Gu, Qian-Ping Gu

Browse the full ISAAC paper archive.