On the Boolean connectivity problem for Horn relations (Q608293)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the Boolean connectivity problem for Horn relations
scientific article

    Statements

    On the Boolean connectivity problem for Horn relations (English)
    0 references
    0 references
    0 references
    0 references
    25 November 2010
    0 references
    Boolean connectivity
    0 references
    Horn relations
    0 references
    Schaefer's framework
    0 references
    computational complexity
    0 references
    Boolean satisfiability
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references