Exact Bernoulli Scan Statistics using Binary Decision Diagrams.

Masakazu Ishihata Takanori Maehara

Published in: IJCAI (2019)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
variable ordering
real valued
model checking
machine learning
planning problems
database
data mining
dynamic programming
general purpose
frequent itemsets