Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications.
Matti JärvisaloPublished in: IJCAI (2016)
Keyphrases
- genetic algorithm
- computer vision
- data analysis
- theoretical analysis
- learning algorithm
- image analysis
- significant improvement
- complexity analysis
- convergence rate
- combinatorial optimization
- times faster
- computationally efficient
- statistical analysis
- computational cost
- computational complexity
- worst case
- data mining algorithms
- computational efficiency
- recently developed
- search algorithm
- quantitative analysis
- artificial intelligence