next up previous [pdf]

Next: Bibliography Up: Li et al.: Robust Previous: Conclusions


We thank Mohammad Maysami, Mandy Wong, and Nader Moussa for the earlier work. We like to thank Robert Clapp, Luis and Ali Almomin for fruitful discussions about the development of this solver and the choice of the test cases.