Login / Signup
Core First Unit Propagation.
Jingchao Chen
Published in:
CoRR (2019)
Keyphrases
</>
unit propagation
conjunctive normal form
search tree
search algorithm
search space
logic programs
clause learning