Solving Conditional Linear Recurrences for Program Verification: The Periodic Case.
Chenglin WangFangzhen LinPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- quadratic programming
- convex quadratic programming
- set of linear equations
- neural network
- algebraic equations
- combinatorial optimization
- inverse problems in image processing
- random field model
- machine learning
- data mining
- least squares
- evolutionary algorithm
- lower bound
- linear constraints
- simple linear
- quadratic program
- reinforcement learning
- multiscale
- face recognition