Login / Signup

Classes of CNF-Formulas with Backtracking Trees of Exponential or Linear Average Order for Exact-Satisfiability.

Ewald Speckenmeyer
Published in: MFCS (1988)
Keyphrases
  • cnf formula
  • np complete
  • search algorithm
  • dynamic programming
  • neural network
  • expert systems
  • particle swarm optimization