Method for Verifying Solutions of Sparse Linear Systems with General Coefficients.
Takeshi TeraoKatsuhisa OzakiPublished in: CoRR (2024)
Keyphrases
- similarity measure
- computational complexity
- significant improvement
- computational cost
- detection method
- clustering method
- optimization algorithm
- feature extraction
- optimal solution
- dynamic programming
- special case
- support vector machine
- linear combination
- support vector machine svm
- preprocessing
- objective function
- model checking
- search methods