BC package - tools for constrained Boolean circuits

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Edition0.26
    Publication statusPublished - 2006
    MoE publication typeI2 ICT software

    Keywords

    • Boolean circuit
    • propositional satisfiability
    • propositonal in English

    Cite this