Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers | IEEE Conference Publication | IEEE Xplore