Solving non-uniform planted and filtered random SAT formulas greedily
scientific article; zbMATH DE number 7495573
scientific article