A Dynamic Clause Specific Initial Weight Assignment for Solving Satisfiability Problems Using Local Search. - Abdelraouf Ishtaiwi; Feda AlShahwan; Naser Jamal; Wael Hadi; Muhammad AbuArqoub (Algorithms, 2021)