A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic.
Hossein M. SheiniKarem A. SakallahPublished in: SAT (2005)
Keyphrases
- support vector machine
- similarity measure
- detection method
- computational cost
- dynamic programming
- objective function
- pairwise
- significant improvement
- cost function
- preprocessing
- clustering method
- data sets
- high precision
- quadratic programming
- search space
- computational complexity
- feature set
- segmentation method
- arithmetic operations