Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses.
Oliver KullmannXishun ZhaoPublished in: CoRR (2015)
Keyphrases
- parameter values
- expectation maximization
- input parameters
- maximum likelihood
- parameter estimation
- sensitivity analysis
- machine learning
- objective function
- artificial neural networks
- search space
- probabilistic model
- scheduling problem
- background knowledge
- maximum likelihood estimation
- fine tuning
- propositional formulas