Lagrangian based A* algorithm for automated reasoning. - Renju Rajan (CoRR, 2023)