On the Complexity of Resolution-based Proof Systems

Sergi Oliva

Abstract


On the Complexity of Resolution-based Proof Systems

Full Text:

PDF

Refbacks

  • There are currently no refbacks.