GnT 2.1 - Computing Disjunctive Stable Models

Tomi Janhunen

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2004
    MoE publication typeI2 ICT applications

    Keywords

    • branch and bound search
    • disjunctive logic programs
    • intelligent backtracking
    • stable model semantics

    Cite this