Electrical Engineering and Computer Sciences, University of California at Berkeley; Google Research
Logic;QBF;Logical Reasoning;SAT;Graph;Reinforcement Learning;GNN
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning