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

Tuomo Pyhälä

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

Tuomo Pyhälä

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2004
MoE publication type	I2 ICT applications

Keywords

answer set programming
factoring
instance generator
satisfiability checking

Cite this

@misc{aa6d73bc1deb4046aaede8399df98d32,

title = "genfacbm - A Benchmark Generator Based on Factoring for SAT and ASP Solvers",

keywords = "answer set programming, factoring, instance generator, satisfiability checking, answer set programming, factoring, instance generator, satisfiability checking, answer set programming, factoring, instance generator, satisfiability checking",

author = "Tuomo Pyh{\"a}l{\"a}",

year = "2004",

language = "English",

}

TY - ADVS

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

AU - Pyhälä, Tuomo

PY - 2004

Y1 - 2004

KW - answer set programming

KW - factoring

KW - instance generator

KW - satisfiability checking

KW - answer set programming

KW - factoring

KW - instance generator

KW - satisfiability checking

KW - answer set programming

KW - factoring

KW - instance generator

KW - satisfiability checking

UR - http://www.tcs.hut.fi/Software/genfacbm/

M3 - Software

ER -

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

Keywords

Other files and links

Cite this