GANAK: A Scalable Probabilistic Exact Model Counter.
Shubham SharmaSubhajit RoyMate SoosKuldeep S. MeelPublished in: IJCAI (2019)
Keyphrases
- computational model
- formal model
- statistical model
- probabilistic model
- neural network model
- experimental data
- theoretical analysis
- probabilistic interpretation
- network model
- prediction model
- theoretical framework
- database
- generative model
- cost function
- lower bound
- data structure
- image sequences
- decision making
- information systems