A Heuristic SAT Problems Solving Method based on LSTM Network | IEEE Conference Publication | IEEE Xplore