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