Conflicting rate based branching heuristic for CDCL SAT solvers.

Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He

Browse the full ISKE paper archive.