Polynomial solvability of satisfiability and its implication to hybrid cryptosystem security | IEEE Conference Publication | IEEE Xplore