Login / Signup

Improved Separations of Regular Resolution from Clause Learning Proof Systems.

Maria Luisa BonetSam BussJan Johannsen
Published in: J. Artif. Intell. Res. (2014)
Keyphrases
  • clause learning
  • special case
  • sat solvers
  • artificial intelligence
  • knowledge base
  • reinforcement learning
  • information retrieval systems
  • document collections
  • retrieval systems