Lagrangian based A* algorithm for automated reasoning

Open in new window