Satisfiability of circuits and equations over finite malcev algebras

DOI10.4230/LIPICS.STACS.2022.37MaRDI QIDQ6490983FDO

Authors Paweł M. Idziak, Piotr Kawałek, Jacek Krzaczkowski

Publication date 23 April 2024

zbMATH Keywords

exponential time hypothesissolving equationscircuit satisfiability

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Satisfiability of circuits and equations over finite malcev algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6490983)