Improved algorithms for optimal length resolution refutation in difference constraint systems.
K. SubramaniMatthew D. WilliamsonXiaofeng GuPublished in: Formal Aspects Comput. (2013)
Keyphrases
- worst case
- computationally efficient
- computer vision algorithms
- optimal solution
- times faster
- data mining algorithms
- distributed systems
- approximately optimal
- theoretical analysis
- computational cost
- optimization problems
- management system
- machine learning algorithms
- orders of magnitude
- data structure
- mathematical models
- exhaustive search
- information systems
- learning algorithm