Tobias Friedrich, Frank Neumann, Ralf Rothenberger, Andrew M. Sutton: Solving Non-uniform Planted and Filtered Random SAT Formulas Greedily. SAT 2021: 188-206