Even faster algorithms for CSAT over supernilpotent algebras
Tytuł:
Even faster algorithms for CSAT over supernilpotent algebras
Konferencja:
International Symposium on Mathematical Foundations of Computer Science [MFCS]
Rok:
2020
Strony:
55:1-55:13
Tom (seria wydawnicza):
170
Numer DOI:
10.4230/LIPIcs.MFCS.2020.55
Link:
https://drops.dagstuhl.de/opus/volltexte/2020/12722/pdf/LIPIcs-MFCS-2020-55.pdf