SEARCH Articles Figures Tables Exact Exactive Exactness SA type algorithms and convergence to the exact extreme