共 50 条
- [31] CrystalBall: Gazing in the Black Box of SAT Solving THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, 2019, 11628 : 371 - 387
- [33] Approximation Methods for Solving the Cauchy Problem Czechoslovak Mathematical Journal, 2005, 55 : 709 - 718
- [35] An iterative method for solving the spectral problem of complex symmetric matrices Computers and Mathematics with Applications, 2004, 47 (4-5): : 529 - 540
- [38] A Kriging-based multi-point sequential sampling optimization method for complex black-box problem Evolutionary Intelligence, 2022, 15 : 2341 - 2350
- [39] Viscosity approximation method for solving variational inequality problem in real Banach spaces ARMENIAN JOURNAL OF MATHEMATICS, 2021, 13 (03): : 1 - 20
- [40] A NUMERICAL METHOD OF SOLVING CAUCHY PROBLEM FOR DIFFERENTIAL EQUATIONS BASED ON A LINEAR APPROXIMATION UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN-SERIES A-APPLIED MATHEMATICS AND PHYSICS, 2017, 79 (04): : 235 - 250