Login / Signup

Are Short Proofs Narrow? QBF Resolution is not Simple.

Olaf BeyersdorffLeroy ChewMeena MahajanAnil Shukla
Published in: STACS (2016)
Keyphrases
  • real time
  • neural network
  • computational complexity
  • theorem proving
  • consequence finding