Sign in
Understanding the Power of Clause Learning.
Paul Beame
Henry A. Kautz
Ashish Sabharwal
Published in:
IJCAI (2003)
Keyphrases
</>
clause learning
sat solvers
power consumption
satisfiability problem
genetic algorithm
optimization problems
constraint satisfaction problems
sat problem