Prime Implicant Computation Using Satisfiability Algorithms.

Vasco M. Manquinho Paulo F. Flores João P. Marques Silva Arlindo L. Oliveira

Published in: ICTAI (1997)

Keyphrases

computational complexity
learning algorithm
orders of magnitude
data structure
computational cost
theoretical analysis
machine learning
optimization problems
machine learning algorithms
benchmark datasets
recently developed
convergence rate
reasoning problems