improving sat - solving with machine learning .
An Extensible SAT-solver