Algorithmic Foundations of Heuristic Search using Higher-Order Polygon Inequalities