A Note on Dowling and Gallier's Top-Down Algorithm for Propositional Horn Satisfiability.
Maria Grazia ScutellàPublished in: J. Log. Program. (1990)
Keyphrases
- computational complexity
- np hard
- preprocessing
- experimental evaluation
- cost function
- high accuracy
- learning algorithm
- recognition algorithm
- significant improvement
- computational cost
- propositional logic
- times faster
- optimization algorithm
- theoretical analysis
- dynamic programming
- k means
- optimal solution
- objective function
- expectation maximization
- segmentation algorithm
- search space
- clustering method
- matching algorithm
- model checking
- data structure