共 50 条
- [22] Algorithms using first-order neighborhoods for minimization of Boolean functions Computational Mathematics and Mathematical Physics, 2013, 53 : 1410 - 1420
- [25] A method for convex minimization based on translated first-order approximations Numerical Algorithms, 2017, 76 : 745 - 760
- [28] Efficient first-order methods for convex minimization: a constructive approach Mathematical Programming, 2020, 184 : 183 - 220
- [30] Binary decision diagrams for first-order predicate logic JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2003, 57 (1-2): : 1 - 22