Lp2sat -- translations from normal logic programs into SAT

Tomi Janhunen

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Edition1.10
    Publication statusPublished - 2006
    MoE publication typeI2 ICT applications

    Keywords

    • answer set programming
    • logic programs
    • propositional satisfiability
    • stable model semantics
    • translator

    Cite this