共 50 条
- [41] Complexity of a class of first-order objective-function-free optimization algorithms OPTIMIZATION METHODS & SOFTWARE, 2024,
- [43] The Complexity of Decomposing Modal and First-Order Theories 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 325 - 334
- [49] On the Parameterized Complexity of Learning First-Order Logic PROCEEDINGS OF THE 41ST ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '22), 2022, : 337 - 346
- [50] CRITICAL REGIONS AT A FIRST-ORDER TRANSITION JOURNAL OF PHYSICS C-SOLID STATE PHYSICS, 1975, 8 (01): : 17 - 28