genfacbm — A Benchmark Generator Based on Factoring for SAT and ASP Solvers

Reference:

Tuomo Pyhälä. genfacbm — a benchmark generator based on factoring for SAT and ASP solvers, 2004. Computer program.

Suggested BibTeX entry:

@misc{pyhala:genfacbm,
    author = {Tuomo Pyh\"al\"a},
    note = {Computer program},
    title = {genfacbm --- A Benchmark Generator Based on Factoring for {SAT} and {ASP} Solvers},
    year = {2004},
}