TCS /
Research /
Publications /
genfacbm --- A Benchmark Generator Based on Factoring for SAT and ASP Solvers
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},
}