An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF.
Gennady DavydovInna DavydovaHans Kleine BüningPublished in: Ann. Math. Artif. Intell. (1998)
Keyphrases
- computational cost
- dynamic programming
- times faster
- computational complexity
- computationally efficient
- detection algorithm
- neural network
- objective function
- theoretical analysis
- cost function
- particle swarm optimization
- simulated annealing
- np hard
- preprocessing
- learning algorithm
- matching algorithm
- recognition algorithm
- np complete
- expectation maximization
- worst case
- experimental evaluation
- search space
- significant improvement
- classification algorithm
- optimal solution
- similarity measure
- improved algorithm
- propositional logic