Symbiosis of Search and Heuristics for Random 3-SAT. - Sid Mijnders; Boris de Wilde; Marijn Heule (CoRR, 2014)