SAT and SMT: Their Algorithm Designs and Applications.
Mizuhito OgawaTo Van KhanhPublished in: APSEC (2) (2013)
Keyphrases
- preprocessing
- experimental evaluation
- cost function
- search strategy
- optimization algorithm
- improved algorithm
- computational complexity
- k means
- theoretical analysis
- similarity measure
- search strategies
- input data
- linear programming
- worst case
- significant improvement
- search space
- high accuracy
- probabilistic model
- dynamic programming
- expectation maximization
- np hard
- ant colony optimization
- optimal solution
- neural network