Search theory is developed for robotics and logic synthesis applications. We combine A* search algorithm with various learning methods. Competition/collaboration game theory methods and learning from examples are also studied.