Circuit Equivalence in 2-Nilpotent Algebras

被引:0
|
作者
Kawalek, Piotr [1 ,2 ]
Kompatscher, Michael [3 ]
Krzaczkowski, Jacek [2 ]
机构
[1] Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria
[2] Institute of Computer Science, University of Maria Curie-Sklodowska, Lublin, Poland
[3] Department of Algebra, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic
基金
欧洲研究理事会;
关键词
Boolean circuit - Circuit equivalence - Equivalence problem - Finite algebras - Identity checking - Modulars - Nilpotent - Nilpotent algebra - Universal algebra;
D O I
暂无
中图分类号
学科分类号
摘要
33
引用
收藏
相关论文
共 50 条