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

Tuomo Pyhälä

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2004
    MoE publication typeI2 ICT software

    Keywords

    • answer set programming
    • factoring
    • instance generator
    • satisfiability checking

    Cite this