Sciweavers

11488 search results - page 149 / 2298
» Robust optimization - methodology and applications
Sort
View
ECCC
2010
95views more  ECCC 2010»
15 years 3 months ago
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj
Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, ...
IEEECIT
2010
IEEE
15 years 3 months ago
Optimized Application and Practice of A* Algorithm in Game Map Path-Finding
Huilai Zou, Lili Zong, Hua Liu, Chaonan Wang, Zeni...