Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. (Q5005117)

From MaRDI portal
scientific article; zbMATH DE number 7378334
Language Label Description Also known as
English
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras.
scientific article; zbMATH DE number 7378334

    Statements

    0 references
    0 references
    0 references
    4 August 2021
    0 references
    circuit satisfiability
    0 references
    solving equations
    0 references
    constraint satisfaction problem
    0 references
    structure theory
    0 references
    Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. (English)
    0 references

    Identifiers