TY  - RPRT
TI  - Even faster algorithms for CSAT over~supernilpotent algebras
AU  - Piotr Kawałek
AU  - Jacek Krzaczkowski
PY  - 2020
UR  - https://arxiv.org/abs/2002.08634
ID  - 2002.08634
ER  -