Login / Signup

Average Case Results for Satisfiability Algorithms Under the Random-Clause-Width Model.

John V. FrancoRamjee P. Swaminathan
Published in: Ann. Math. Artif. Intell. (1997)
Keyphrases
  • average case
  • theoretical analysis
  • worst case analysis
  • worst case
  • objective function
  • learning algorithm
  • computational complexity
  • training examples
  • phase transition
  • concept learning