A Heuristic SAT Problems Solving Method based on LSTM Network.

Yichuan Wang Xiaolong Liang Xinhong Hei Lei Zhu Wenjiang Ji

Published in: PAAP (2021)

Keyphrases

dynamic programming
combinatorial optimization
probability distribution
model checking
search methods