Great news. IB's Oct. 20, 2008 communique announces that IB-SMART now includes the order routing algorithm I proposed and analyzed in this thread.
Recent updates include:
***
- Smart routing enhancements, including an optional add-on, Favor Price Improvement, which sweeps certain exchanges for hidden liquidity at more favorable prices, and then checks the dark pools as usual before routing to an exchange;