A Scalable Approximate Model Counter.
Supratik ChakrabortyKuldeep S. MeelMoshe Y. VardiPublished in: CoRR (2013)
Keyphrases
- management system
- hierarchical structure
- computational model
- knowledge base
- object model
- probabilistic model
- formal model
- theoretical analysis
- experimental data
- mathematical model
- parameter estimation
- autoregressive
- parameter values
- statistical model
- neural network
- input data
- probability distribution
- cost function
- objective function
- feature selection