How to Refute a Random CSP | IEEE Conference Publication | IEEE Xplore