Login / Signup

An n! Lower Bound on Formula Size.

Micah AdlerNeil Immerman
Published in: LICS (2001)
Keyphrases
  • lower bound
  • upper bound
  • objective function
  • branch and bound
  • branch and bound algorithm
  • optimal solution
  • genetic algorithm
  • upper and lower bounds
  • lower bounding
  • machine learning
  • np hard
  • small size
  • running times