The Interaction Between Inference and Branching Heuristics.
Lyndon DrakeAlan M. FrischPublished in: SAT (2003)
Keyphrases
- search algorithm
- probabilistic inference
- human computer interaction
- human interaction
- bayesian model
- information systems
- bayesian networks
- neural network
- heuristic search
- user interaction
- heuristic methods
- bayesian inference
- branch and bound
- probabilistic model
- objective function
- artificial intelligence
- machine learning