I will discuss a solution method for free-boundary problems of optimal stopping with finite horizon. The key step of the method is based upon a change-of-variable formula with local time on curves.
When specialized to the American put problem, this settles the question of Myneni (1992) [dating back to McKean (1965)].