Login / Signup

Tail Bounds for Occupancy and the Satisfiability Threshold Conjecture

Anil KamathRajeev MotwaniKrishna V. PalemPaul G. Spirakis
Published in: FOCS (1994)
Keyphrases
  • lower bound
  • satisfiability problem
  • upper bound
  • np complete
  • propositional logic
  • decision procedures
  • lower and upper bounds
  • np hard
  • error bounds
  • phase transition
  • vc dimension
  • tight bounds