Some 3CNF properties are hard to test (0)

by E Ben-Sasson, P Harsha, S Raskhodnikova
Venue:SIAM J. Comput