Login / Signup
Improved Separations of Regular Resolution from Clause Learning Proof Systems
Maria Luisa Bonet
Sam Buss
Jan Johannsen
Published in:
CoRR (2012)
Keyphrases
</>
clause learning
expert systems
sat solvers
bayesian networks