Number of solutions of Satisfiability Instances - Applications to Knowledge Bases.

J. C. Simon Olivier Dubois

Published in: Int. J. Pattern Recognit. Artif. Intell. (1989)

Keyphrases

knowledge base
computational complexity
decision trees
optimal solution
maximum number
solution space
feasible solution
small number
np complete
knowledge representation
stochastic local search
knowledge acquisition
linear programming
data sets
expert systems
search algorithm
learning algorithm