Satisfiability of Circuits and Equations over Finite Malcev Algebras
Tytuł:
Satisfiability of Circuits and Equations over Finite Malcev Algebras
Konferencja:
International Symposium on Theoretical Aspects of Computer Science [STACS]
Rok:
2022
Strony:
37:1-37:14
Tom (seria wydawnicza):
STACS'22; Proc. of the 39th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Numer DOI:
10.4230/LIPIcs.STACS.2022.37
Link:
https://drops.dagstuhl.de/opus/volltexte/2022/15847/
Mathscinet link:
https://mathscinet.ams.org/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=idziak&s5=&s6=&s7=&s8=All&sort=Newest&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&
DBLP link:
https://dblp.org/pid/95/5252.html