DeepSAT: An EDA-Driven Learning Framework for SAT.

Min Li Zhengyuan Shi Qiuxia Lai Sadaf Khan Qiang Xu

Published in: CoRR (2022)

Keyphrases

driven learning
artificial intelligence
natural language
active learning
maximum likelihood
information retrieval
text mining