rgen — a SAT benchmark generator

Reference:

Matti Järvisalo. rgen — a SAT benchmark generator, September 2005. Computer program.

Suggested BibTeX entry:

@misc{rgen,
    author = {Matti J{\"a}rvisalo},
    month = {September},
    note = {Computer program},
    title = {{rgen} --- a {SAT} benchmark generator},
    year = {2005},
}