Multilevel Techniques for Solving the Satisfiability Problem by Noureddine Bouhmala & Sirar Salih