Clause weighting local search for SAT
scientific article; zbMATH DE number 5118126