Works by or with Thomas Dueholm Hansen in the bibliography:Faster k-SAT algorithms using biased-PPSZ (2019)