Takahashiand Nishi. Rigorous Proof of Termination of SMO Algorithm for Support Vector Machines. Institute of Electrical and Electronics Engineers (IEEE), 2005, doi:10.1109/tnn.2005.844857.