On the complexity of the satisfiability problem for a system of functional Boolean equations (Q5263821)

From MaRDI portal
scientific article; zbMATH DE number 6460054
Language Label Description Also known as
English
On the complexity of the satisfiability problem for a system of functional Boolean equations
scientific article; zbMATH DE number 6460054

    Statements

    On the complexity of the satisfiability problem for a system of functional Boolean equations (English)
    0 references
    17 July 2015
    0 references
    functional Boolean equation
    0 references
    satisfiability
    0 references
    complexity
    0 references

    Identifiers