共 50 条
- [31] A forward-backward abstraction refinement algorithm VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 248 - 262
- [34] Strong convergence of a forward-backward splitting method with a new step size for solving monotone inclusions COMPUTATIONAL & APPLIED MATHEMATICS, 2019, 38 (02):
- [36] A strong convergence result involving an inertial forward–backward algorithm for monotone inclusions Journal of Fixed Point Theory and Applications, 2017, 19 : 3097 - 3118
- [39] Blocking variable step size forward-backward pursuit algorithm for image reconstruction 1600, Science and Engineering Research Support Society (11): : 17 - 22