Even faster algorithms for CSAT over~supernilpotent algebras.
Piotr KawalekJacek KrzaczkowskiPublished in: CoRR (2020)
Keyphrases
- orders of magnitude
- times faster
- data structure
- computational complexity
- computational cost
- learning algorithm
- search algorithm
- significant improvement
- nearest neighbor
- computationally efficient
- computationally demanding
- memory efficient
- convergence rate
- recently developed
- computational efficiency
- classification algorithm
- theoretical analysis
- databases
- objective function
- information retrieval