Login / Signup
The Effect of Restarts on the Efficiency of Clause Learning.
Jinbo Huang
Published in:
IJCAI (2007)
Keyphrases
</>
clause learning
sat solvers
satisfiability problem
sat problem
propositional satisfiability
artificial intelligence
search algorithm
random walk