Adiabatic Based Algorithm for SAT: A Comprehensive Algorithmic Description | AMiner