Mining definitions in Kissat with Kittens.

Mathias Fleury Armin Biere

Published in: Formal Methods Syst. Des. (2022)

Keyphrases

pattern mining
data mining
web mining
itemsets
mining algorithm
knowledge discovery
real time
multi relational
machine learning
information systems
website
clustering algorithm
data structure
information extraction
multi dimensional
sequential pattern mining