A Scalable Approximate Model Counter.

Supratik Chakraborty Kuldeep S. Meel Moshe Y. Vardi

Published in: CP (2013)

Keyphrases

computational model
formal model
probabilistic model
mathematical model
management system
parameter values
closed form
data model
cost function
similarity measure
image sequences
em algorithm
high level
theoretical framework
artificial intelligence
experimental data
neural network
conceptual model
databases
real time