Using Lanchester Attrition Laws for Combat Prediction in StarCraft.
Game-tree search over high-level game states in RTS games