Dynamic Weapon-Target Assignment Via HJI Reachability and Marginal-Return Column Enumeration | AMiner