Login / Signup

Approximating the unsatisfiability threshold of random formulas.

Lefteris M. KirousisEvangelos KranakisDanny KrizancYannis C. Stamatiou
Published in: Random Struct. Algorithms (1998)
Keyphrases
  • propositional formulas
  • cnf formula
  • threshold selection
  • case study
  • data sets
  • neural network
  • data mining
  • relational databases
  • query language
  • uniformly distributed
  • horn clauses
  • max sat
  • adaptive threshold