Login / Signup

Easily Refutable Subformulas of Large Random 3CNF Formulas.

Uriel FeigeEran Ofek
Published in: ICALP (2004)
Keyphrases
  • cnf formula
  • propositional formulas
  • np complete
  • constraint satisfaction
  • randomly generated
  • stable set
  • data structure