An Abstract Dual Propositional Model Counter.
Armin BiereSteffen HölldoblerSibylle MöhlePublished in: YSIP (2017)
Keyphrases
- information retrieval
- mathematical model
- computational model
- formal model
- probabilistic model
- social networks
- similarity measure
- bayesian networks
- cost function
- conceptual model
- network model
- real time
- bayesian framework
- experimental data
- first order logic
- management system
- probability distribution
- prior knowledge
- learning algorithm