kcnfs: An Efficient Solver for Random k-SAT Formulae.

Gilles Dequen, Olivier Dubois

Browse the full SAT paper archive.