Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals.
Weifeng ShangChenqi MouDeepak KapurPublished in: ISSAC (2022)
Keyphrases
- computational complexity
- learning algorithm
- pairwise
- graph theory
- computational cost
- recently developed
- times faster
- optimization problems
- computationally efficient
- computational efficiency
- orders of magnitude
- penalty functions
- computationally expensive
- benchmark datasets
- machine learning algorithms
- software engineering
- semi supervised
- bayesian networks
- computer vision