Sign in

Random Resolution Refutations.

Pavel PudlákNeil Thapen
Published in: Computational Complexity Conference (2017)
Keyphrases
  • high resolution
  • artificial intelligence
  • e learning
  • website
  • databases
  • machine learning
  • learning algorithm
  • multimedia
  • evolutionary algorithm
  • low resolution
  • uniformly distributed
  • consequence finding