Login / Signup

Degree lower bounds of tower-type for approximating formulas with parity quantifiers.

Albert AtseriasAnuj Dawar
Published in: ACM Trans. Comput. Log. (2014)
Keyphrases
  • lower bound
  • upper bound
  • branch and bound
  • objective function
  • np hard
  • data sets
  • error correction
  • lower and upper bounds
  • lower bounding
  • optimal cost
  • mathematical formulas