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
4 August 2021
0 references
circuit satisfiability
0 references
solving equations
0 references
constraint satisfaction problem
0 references
structure theory
0 references
0 references
0 references
0 references
0 references
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. (English)
0 references