A Linear Algorithm for Renaming a Set of Clauses as a Horn Set.
Jean-Jacques HébrardPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- initial set
- computational cost
- search space
- np hard
- solution space
- detection algorithm
- horn clauses
- small number
- computational complexity
- linear complexity
- preprocessing
- learning algorithm
- boolean functions
- closed form
- input pattern
- neural network
- disjunctive normal form
- particle swarm optimization
- simulated annealing
- probability distribution
- k means
- objective function
- genetic algorithm