A SAT model to mine flexible sequences in transactional datasets.

Rémi Coletta Benjamin Négrevergne

Published in: CoRR (2016)

Keyphrases

mathematical model
management system
theoretical framework
database
computational model
prior knowledge
parameter estimation
genetic algorithm
high level
computational complexity
probabilistic model
benchmark datasets
statistical model
neural network model
formal model