Login / Signup
An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning.
Maria Luisa Bonet
Samuel R. Buss
Published in:
SAT (2012)
Keyphrases
</>
clause learning
sat solvers
high resolution
reinforcement learning
search algorithm
image retrieval