Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers.

Wenjing Chang, Guanfeng Wu, Yang Xu

Browse the full ISKE paper archive.