Reference or Algorithm

[summer-yf]

Hi! If I understand correctly, the code here is to convert a random k-sat to an equivalent 3-sat problem. Is there an algorithm you are following or some reference that I can check with? Thank you so much!