A Mixed PDE-Monte Carlo Approach for Pricing Credit Default Index Swaptions