On the complexity of proof systems

  • Authors:

  • Stephen Cook;Charles Rackoff;Xudong Fu

  • Affiliations:

  • -;-;-

  • Venue:
  • On the complexity of proof systems
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract