reinforcement learning;deep learning;logics;formal methods;automated reasoning;backtracking search;satisfiability;quantified Boolean formulas
Learning Heuristics for Automated Reasoning through Reinforcement Learning