共 50 条
- [1] Heuristic search for non-linear cryptanalytic approximations 2007 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-10, PROCEEDINGS, 2007, : 3561 - 3568
- [6] An advanced center biased three step search algorithm for motion estimation 2000 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, PROCEEDINGS VOLS I-III, 2000, : 95 - 98
- [8] SEARCH OF CHLOROPHYLL FORMS INVIVO BY NON-LINEAR LASER SPECTROSCOPY BERICHTE DER BUNSEN-GESELLSCHAFT-PHYSICAL CHEMISTRY CHEMICAL PHYSICS, 1989, 93 (03): : 371 - 374
- [10] Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem NASA FORMAL METHODS, NFM 2023, 2023, 13903 : 472 - 488