NP is as easy as detecting unique solutions, Theoretical Computer Science 47: 8593 (1986)

by L Valiant, V Vazirani