Implementation of a branching heuristic of a SAT Solver using Q-Learning
Primary LanguageJupyter Notebook