Algorithms and Complexity Results for Input and Unit Resolution.
Alexander HertelAlasdair UrquhartPublished in: J. Satisf. Boolean Model. Comput. (2009)
Keyphrases
- worst case
- computational cost
- computational complexity
- orders of magnitude
- learning algorithm
- high computational complexity
- space complexity
- computationally complex
- bayesian networks
- artificial neural networks
- times faster
- optimization problems
- lower complexity
- decision problems
- machine learning algorithms
- constraint satisfaction problems
- low resolution
- data mining techniques
- upper bound
- state space
- search space
- image processing
- information systems