BMC with Memory Models as Modules.

Hernán Ponce de León Florian Furbach Keijo Heljanko Roland Meyer

Published in: FMCAD (2018)

Keyphrases

probabilistic model
building blocks
information retrieval
model selection
statistical models
computational power
accurate models
artificial intelligence
decision trees
prior knowledge
parameter estimation
complex systems
statistical model
mathematical models
memory usage