Jan Kratochvíl Petr Savický Zsolt Tuza One More Occurrence of Variables Makes Satisfiability Jump From Trivial to NP-Complete. 203-210 1993 22 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp22.html#KratochvilST93