Keyphrases
- sat solvers
- higher order
- partial differential equations
- constraint solver
- boundary value problem
- neural network
- algebraic curves
- machine learning
- quantified boolean formulas
- orders of magnitude
- eigenvalue problems
- database
- algebraic geometry
- highly optimized
- sat instances
- linear algebra
- fourier descriptors
- image processing
- social networks
- learning algorithm
- real world
- data sets