Login / Signup
Revisiting Restarts of CDCL: Should the Search Information be Preserved?
Xindi Zhang
Zhihan Chen
Shaowei Cai
Published in:
CoRR (2024)
Keyphrases
</>
information retrieval
search algorithm
search space
np hard