added AAESMA and AAAESMA algorithms using inequality cost as a clause