共 50 条
- [31] Transient growth of accelerated first-order methods 2020 AMERICAN CONTROL CONFERENCE (ACC), 2020, : 2858 - 2863
- [32] TIKHONOV REGULARIZATION OF A NONHOMOGENEOUS FIRST-ORDER EVOLUTION EQUATION DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES S, 2024, 17 (5-6): : 2173 - 2185
- [35] The Complexity of Decomposing Modal and First-Order Theories 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 325 - 334
- [40] First-Order Subsumption via SAT Solving 2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 160 - 169