An experimental study of satisfiability search heuristics | IEEE Conference Publication | IEEE Xplore