krasheninnikov/dpll-qlearn

Using Q-learning to pick a splitting heuristic at each step of the DPLL SAT solver.

Jupyter Notebook