Exploring the landscape of the space of heuristics for local search in SAT | IEEE Conference Publication | IEEE Xplore