Login / Signup

Reducing the size of resolution proofs in linear time.

Omer Bar-IlanOded FuhrmannShlomo HooryOhad ShachamOfer Strichman
Published in: Int. J. Softw. Tools Technol. Transf. (2011)
Keyphrases
  • theorem proving
  • image resolution
  • fixed parameter tractable
  • neural network
  • artificial intelligence
  • similarity measure
  • video sequences
  • computational complexity
  • search space
  • maximum number
  • scales linearly