rgen

Matti Järvisalo

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2005
    MoE publication typeI2 ICT software

    Keywords

    • benchmarking
    • propositional satisfiability
    • satisfiability checking

    Cite this