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