Probabilistic backdoor trees for SAT solving - View it on GitHub