Speedup of tridiagonal system solvers.

Viliam Kacala Csaba Török

Published in: J. Comput. Appl. Math. (2021)

Keyphrases

orders of magnitude
sat solvers
parallel algorithm
brute force
computationally hard problems
artificial neural networks
highly optimized
databases
information retrieval
feature selection
decision making
multi agent
digital libraries
general purpose
quantified boolean formulas