Proof Mining in LP Spaces.

Published in: J. Symb. Log. (2019)

Keyphrases

linear programming
web mining
data mining techniques
text mining
theorem proving
data sets
objective function
neural network
information extraction
bayesian networks
case study
frequent patterns
artificial intelligence
pattern mining
data mining methods
data mining applications
pattern discovery