Computational complexity of encryption related to the boolean satisfiability problems - Singh, Sarita; Singh, Sarita (2003)