Definability on a random 3-CNF formula | IEEE Conference Publication | IEEE Xplore