Boolean Programming for Optimal Stopping in American Option Pricing with Reinforcement Learning | IEEE Conference Publication | IEEE Xplore